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...
Συγγραφή απο Οργανισμό/Αρχή: | |
---|---|
Άλλοι συγγραφείς: | , , |
Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
Γλώσσα: | English |
Έκδοση: |
London :
Springer London : Imprint: Springer,
2010.
|
Θέματα: | |
Διαθέσιμο Online: | Full Text via HEAL-Link |
Πίνακας περιεχομένων:
- 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.