Formal Methods An Appetizer
This textbook is an introduction to the use of formal methods ranging from semantics of key programming constructs to techniques for the analysis and verification of programs. The authors use program graphs as the mechanism for representing the control structure of programs in order to find a balanc...
Main Authors: | , |
---|---|
Format: | eBook |
Language: | English |
Published: |
Cham
Springer International Publishing
2019, 2019
|
Edition: | 1st ed. 2019 |
Subjects: | |
Online Access: | |
Collection: | Springer eBooks 2005- - Collection details see MPG.ReNa |
Table of Contents:
- Program Graphs
- Guarded Commands
- Program Verification
- Program Analysis
- Language-Based Security
- Model Checking
- Procedures
- Concurrency
- Epilogue
- App. A, The MicroC Language
- App. B, Programming Projects
- App. C, Realisation in F#
- App. D, A Learning Environment
- Symbols
- Index