Formal Methods An Appetizer /

• Main Authors: Nielson, Flemming (Author, http://id.loc.gov/vocabulary/relators/aut), Riis Nielson, Hanne (http://id.loc.gov/vocabulary/relators/aut)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Cham : Springer International Publishing : Imprint: Springer, 2019.
• Edition: 1st ed. 2019.
• Subjects: Computers.; Software engineering.; Theory of Computation.; Software Engineering/Programming and Operating Systems.

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...

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.