Rigorous Software Development An Introduction to Program Verificatio
The use of mathematical methods in the development of software is essential when reliable systems are sought; in particular they are now strongly recommended by the official norms adopted in the production of critical software. Program Verification is the
- PDF / 2,740,833 Bytes
- 268 Pages / 439.37 x 666.142 pts Page_size
- 163 Downloads / 738 Views
Undergraduate Topics in Computer Science (UTiCS) delivers high-quality instructional content for undergraduates studying in all areas of computing and information science. From core foundational and theoretical material to final-year topics and applications, UTiCS books take a fresh, concise, and modern approach and are ideal for self-study or for a one- or two-semester course. The texts are all authored by established experts in their fields, reviewed by an international advisory board, and contain numerous examples and problems. Many include fully worked solutions.
For further volumes: www.springer.com/series/7592
José Bacelar Almeida Maria João Frade Jorge Sousa Pinto Simão Melo de Sousa
Rigorous Software Development An Introduction to Program Verification
Dr. José Bacelar Almeida Depto. Informática Universidade do Minho Campus de Gualtar Braga 4710-057 Portugal [email protected]
Dr. Jorge Sousa Pinto Depto. Informática Universidade do Minho Campus de Gualtar Braga 4710-057 Portugal [email protected]
Dr. Maria João Frade Depto. Informática Universidade do Minho Campus de Gualtar Braga 4710-057 Portugal [email protected]
Dr. Simão Melo de Sousa Depto. Informática Universidade Beira Interior rua Marques d’Avila e Bolama Covilhã 6201-001 Portugal [email protected]
Series editor Ian Mackie Advisory board Samson Abramsky, University of Oxford, Oxford, UK Chris Hankin, Imperial College London, London, UK Dexter Kozen, Cornell University, Ithaca, USA Andrew Pitts, University of Cambridge, Cambridge, UK Hanne Riis Nielson, Technical University of Denmark, Lungby, Denmark Steven Skiena, Stony Brook University, Stony Brooks, USA Iain Stewart, University of Durham, Durham, UK
ISSN 1863-7310 ISBN 978-0-85729-017-5 e-ISBN 978-0-85729-018-2 DOI 10.1007/978-0-85729-018-2 Springer London Dordrecht Heidelberg New York British Library Cataloguing in Publication Data A catalogue record for this book is available from the British Library © Springer-Verlag London Limited 2011 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. Printed on acid-free paper Springer is part of Springer Science+Business Medi
Data Loading...
