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-scale applications. Through fundamental contr...
| Other Authors: | , , |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
London
Springer London
2010, 2010
|
| Edition: | 1st ed. 2010 |
| Subjects: | |
| Online Access: | |
| Collection: | Springer eBooks 2005- - Collection details see MPG.ReNa |
Table of Contents:
- Domain Engineering
- Program Verification and System Dependability
- The Abstract State Machines Method for High-Level System Design and Analysis
- Applications and Methodology of ?Z
- The Computer Ate My Vote
- Formal Methods for Biochemical Signalling Pathways
- Separation Logic and Concurrency
- Programming Language Description Languages