Formal Methods: An Appetizer.

Research output: Book/ReportBook

Abstract

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
PublisherSpringer
Number of pages170
ISBN (Print)978-3-030-05155-6
DOIs
Publication statusPublished - 2019

Keywords

  • 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