Formal Methods for Software Engineering: Languages, Methods, Application Domains

Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff , Gerardo Schneider, Siraj Shaikh

Research output: Book/ReportBookpeer-review


This is a graduate-level introduction to formal methods. The first part presents two formal languages: logic, in various forms, and Communicating Sequential Process (CSP) as a process algebra. The second part offers specification and testing methods for formal development of software. Building on the foundations from the first part, the reader is allowed to embrace methods for practical applications. The reader will find the examples cutting across chapters valuable for this purpose. The final section takes the reader further into application domains.
Original languageEnglish
PublisherSpringer International Publishing
Number of pages440
ISBN (Electronic)978-3-030-38800-3
ISBN (Print)978-3-030-38799-0
Publication statusAccepted/In press - 2020

Bibliographical note

Due for publication October 22, 2020

Fingerprint Dive into the research topics of 'Formal Methods for Software Engineering: Languages, Methods, Application Domains'. Together they form a unique fingerprint.

Cite this