Formal Methods: State of the Art and New Directions

The last decade has witnessed a modest but sustained increase in researching and applying formal methods. A number of well cited success stories are now available and provide strong evidence that formal methods can be effective and deployed in industrial-

  • PDF / 3,447,741 Bytes
  • 290 Pages / 439.37 x 666.142 pts Page_size
  • 79 Downloads / 224 Views

DOWNLOAD

REPORT


Paul Boca • Jonathan P. Bowen Jawed I. Siddiqi Editors

Formal Methods: State of the Art and New Directions

123

Editors Dr. Paul Boca Hornbill Systems Ltd Ares, Odyssey Business Park West End Road Ruislip United Kingdom HA4 6QD [email protected]

Prof. Jawed I. Siddiqi Sheffield Hallam University Informatics Research Group City Campus Sheffield United Kingdom S1 1WB [email protected]

Jonathan P. Bowen Museophile Ltd Oak Barn Sonning Eye Reading, Oxon United Kingdom RG4 6TN [email protected]

ISBN 978-1-84882-735-6 e-ISBN 978-1-84882-736-3 DOI 10.1007/978-1-84882-736-3 Springer London Dordrecht Heidelberg New York British Library Cataloguing in Publication Data A catalogue record for this book is available from the British Library Library of Congress Control Number:2009942261 c Springer-Verlag London Limited 2010  Apart from any fair dealing for the purposes of research or private study, or criticism or review, as permitted under the Copyright, Designs and Patents Act 1988, this publication may only be reproduced, stored or transmitted, in any form or by any means, with the prior permission in writing of the publishers, or in the case of reprographic reproduction in accordance with the terms of licenses issued by the Copyright Licensing Agency. Enquiries concerning reproduction outside those terms should be sent to the publishers. The use of registered names, trademarks, etc., in this publication does not imply, even in the absence of a specific statement, that such names are exempt from the relevant laws and regulations and therefore free for general use. The publisher makes no representation, express or implied, with regard to the accuracy of the information contained in this book and cannot accept any legal responsibility or liability for any errors or omissions that may be made. Cover design: WMXDesign GmbH Printed on acid-free paper Springer is part of Springer Science+Business Media (www.springer.com)

Dedicated to Peter Landin (1930–2009)

Foreword

The Formal Aspects of Computing Science (FACS) Specialist Group of the British Computer Society set up a series of evening seminars in 2005 to report on advances in the application of formal design and analysis techniques in all the stages of software development. The seminars attracted an audience from both academia and industry, and gave them the opportunity to hear and meet pioneers and key researchers in computing science. Normally it would be necessary to travel abroad and attend an international conference to be in the presence of such respected figures; instead, the evening seminar programme, over a period of three years, brought the keynote speakers of the conference to the British Computer Society headquarters, for the convenience of an audience based in London. Several speakers from the period 2005–2007 kindly developed their talks into full papers, which form the basis of this volume. I am delighted to welcome the publication of such an excellent and comprehensive series of contributions. They are now available in book form to an even