Formal Methods for Software Engineering [E-Book] : Languages, Methods, Application Domains / by Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh.
Software programs are formal entities with precise meanings independent of their programmers, so the transition from ideas to programs necessarily involves a formalisation at some point. The first part of this graduate-level introduction to formal methods develops an understanding of what constitute...
Saved in:
Full text |
|
Personal Name(s): | Roggenbach, Markus, author |
Cerone, Antonio, author / Schlingloff, Bernd-Holger, author / Schneider, Gerardo, author / Shaikh, Siraj Ahmed, author | |
Edition: |
1st edition 2022. |
Imprint: |
Cham :
Springer,
2022
|
Physical Description: |
XXVIII, 524 pages 47 illustrations, 12 illustrations in color (online resource) |
Note: |
englisch |
ISBN: |
9783030388003 |
DOI: |
10.1007/978-3-030-38800-3 |
Series Title: |
/* Depending on the record driver, $field may either be an array with
"name" and "number" keys or a flat string containing only the series
name. We should account for both cases to maximize compatibility. */?>
Texts in Theoretical Computer Science. An EATCS Series
|
Subject (LOC): |
- 1 Formal Methods
- Part I Languages: 2 Logics for Software Engineering
- 3 The Process Algebra CSP
- Part II Methods: 4 Algebraic Specification in CASL
- 5 Specification-Based Testing
- Part III Application Domains: 6 Specification and Verification of Normative Documents
- 7 Formal Methods for Human-Computer Interaction
- 8 Formal Verification of Security Protocols
- Part IV Wrapping up: 9 Origins and Development of Formal Methods
- Authors' Conclusion
- Appendix A Syntax of the Logics in this Book
- Appendix B Language Definition of CSP
- Appendix C Concrete CASL Syntax.