Formal Methods: An Appetizer.

Research output: Book/ReportBook


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 balance between generality and conceptual complexity.

Original languageEnglish
Number of pages170
ISBN (Print)978-3-030-05155-6
Publication statusPublished - 2019


  • Program Graphs
  • Program Verification
  • Program Analysis
  • Language-Based Security
  • Model Checking
  • Concurrency
  • F#
  • Formal Methods
  • Semantics

Fingerprint Dive into the research topics of 'Formal Methods: An Appetizer.'. Together they form a unique fingerprint.

Cite this