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 statusPublished - Jun 2021

    Bibliographical note

    Due for publication October 22, 2020


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

    Cite this