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

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

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

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

Research output: Book/Report › Book › peer-review

Abstract

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 language	English
Publisher	Springer International Publishing
Number of pages	440
Volume	(In-press)
Edition	1
ISBN (Electronic)	978-3-030-38800-3
ISBN (Print)	978-3-030-38799-0
Publication status	Published - Jun 2021

Bibliographical note

Due for publication October 22, 2020

Access to Document

https://www.springer.com/gb/book/9783030387990

Cite this

@book{d2112e32d27e4aa080b5520f4a1c2789,

title = "Formal Methods for Software Engineering: Languages, Methods, Application Domains",

abstract = "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.",

author = "Markus Roggenbach and Antonio Cerone and Bernd-Holger Schlingloff and Gerardo Schneider and Siraj Shaikh",

note = "Due for publication October 22, 2020",

year = "2021",

month = jun,

language = "English",

isbn = "978-3-030-38799-0",

volume = "(In-press)",

publisher = "Springer International Publishing",

address = "United Kingdom",

edition = "1",

}

TY - BOOK

T1 - Formal Methods for Software Engineering

T2 - Languages, Methods, Application Domains

AU - Roggenbach, Markus

AU - Cerone, Antonio

AU - Schlingloff , Bernd-Holger

AU - Schneider, Gerardo

AU - Shaikh, Siraj

N1 - Due for publication October 22, 2020

PY - 2021/6

Y1 - 2021/6

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

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

M3 - Book

SN - 978-3-030-38799-0

VL - (In-press)

BT - Formal Methods for Software Engineering

PB - Springer International Publishing

ER -

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

Abstract

Bibliographical note

Access to Document

Fingerprint

Cite this