文档介绍：Software Verification and Analysis
Janusz Laski • William Stanley
Software Verification
and Analysis
An Integrated, Hands-On Approach
Janusz Laski William Stanley
SofTools, Inc. SofTools, Inc.
Rochester Hills, Michigan Rochester Hills, Michigan
USA USA
ISBN: 978-1-84882-239-9 e-ISBN: 978-1-84882-240-5
DOI -1-84882-240-5
Springer Dordrecht Heidelberg London 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: 2008943242
© Springer-Verlag London Limited 2009
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 licences 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 specifi c 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 Media ()
To my Children
Magdalena and Zem
Preface
“The situation is good, but not hopeless”
(Polish folk wisdom)
The text is devoted to the Software Analysis and Testing (SAT) methods and sup-
porting tools for assessing and, if possible, improving software quality, specifically
its correctness. The term