Bøger om Verification

Verification of Sequential and Concurrent Programs (Hardback)

Provides an introduction to program verification. By covering both sequential and parallel programming, this work shows how these techniques may be used to prove the correctness of a variety of progra...
Se mere om bogen

Formal Methods Applications and Technology (Paperback)

11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected

Constitutes the thoroughly refereed joint post-proceedings of the two International Workshops on Formal Methods for Industrial Critical Systems, FMICS 2006, and on Parallel and Distributed Methods in ...
Se mere om bogen

Verification of Reactive Systems (Paperback)

This book is a solid foundation of the most important formalisms used for specification and verification of reactive systems. In particular, the text presents all important results on m-calculus, w-au...
Se mere om bogen

Modeling and Verification of Real-time Systems (Hardback)

Topics addressed include mathematical models of real-time systems and associated formal verification techniques such as model checking, probabilistic modeling and verification, programming and descrip...
Se mere om bogen

Logic Synthesis and Verification Algorithms (Paperback)

This book blends mathematical foundations and algorithmic developments with circuit design issues. Each new technique is presented in the context of its application to design. This publication serves ...
Se mere om bogen

Model Checking (Hardback)

This presentation of the theory and practice of model checking includes basic as well as state-of-the-art techniques, algorithms and tools, and can be used as an introduction to the subject or a refer...
Se mere om bogen

Verification of Sequential and Concurrent Programs (Hardback)

This book explores one of the most common approaches to program verification, known as the assertional approach. Case studies supplied throughout the book demonstrate the use of the proof systems and ...
Se mere om bogen

Verification of Reactive Systems (Hardback)

Formal Methods and Algorithms

Presents various important results on m-calculus, w-automata, and temporal logics, shows the relationships between these formalisms and describes verification procedures for them. This title discusses...
Se mere om bogen

Verification, Model Checking, and Abstract Interpretation (Paperback)

9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings

This book contains the proceedings of VMCAI 2007. It features current research from the communities of verification, program certification, model checking, debugging techniques, abstract interpretatio...
Se mere om bogen

Verified Software (Paperback)

Theories, Tools, Experiments

Contains the proceedings of the second working conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2008, held in Toronto, Canada, in October 2008. This book includes the sharing a...
Se mere om bogen