Formal Methods: Foundations and Applications
21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings
Seiten
2018
Springer International Publishing (Verlag)
978-3-030-03043-8 (ISBN)
Springer International Publishing (Verlag)
978-3-030-03043-8 (ISBN)
This book constitutes the refereed proceedings of the 21st Brazilian Symposium on Formal Methods, SBMF 2018, which took place in Salvador, Brazil, in November 2018.
The 16 regular papers presented in this book were carefully reviewed and selected from 30 submissions. The papers are organized in topical sections such as: techniques and methodologies; specification and modeling languages; theoretical foundations; verification and validation; experience reports regarding teaching formal methods; and applications.Chapter "TeSSLa: Temporal Stream-Based Specification Language" is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
The 16 regular papers presented in this book were carefully reviewed and selected from 30 submissions. The papers are organized in topical sections such as: techniques and methodologies; specification and modeling languages; theoretical foundations; verification and validation; experience reports regarding teaching formal methods; and applications.Chapter "TeSSLa: Temporal Stream-Based Specification Language" is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
Techniques and methodologies.- Specification and modeling languages.- Theoretical foundations.- Verification and validation.- Experience reports regarding teaching formal methods.- Applications.
| Erscheinungsdatum | 25.10.2018 |
|---|---|
| Reihe/Serie | Lecture Notes in Computer Science | Programming and Software Engineering |
| Zusatzinfo | X, 271 p. 52 illus. |
| Verlagsort | Cham |
| Sprache | englisch |
| Maße | 155 x 235 mm |
| Gewicht | 438 g |
| Themenwelt | Mathematik / Informatik ► Informatik ► Software Entwicklung |
| Schlagworte | Algorithm analysis and problem complexity • Applications • Computer Science • conference proceedings • Formal Logic • formal methods • Formal Semantics • formal specification • Functional Programming • Informatics • Model-Based Testing • Model Checking • Model-Driven Engineering • program compilers • Programming Languages • Research • Semantics • Software engineering • Software Evaluation • Source Code Analysis • Specifications • Static Analysis • theorem proving • Type Systems • verification |
| ISBN-10 | 3-030-03043-1 / 3030030431 |
| ISBN-13 | 978-3-030-03043-8 / 9783030030438 |
| Zustand | Neuware |
| Informationen gemäß Produktsicherheitsverordnung (GPSR) | |
| Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
Entwurfsmuster für effektive Softwareentwicklung
Buch | Softcover (2024)
Springer Vieweg (Verlag)
CHF 27,95
Praxishandbuch für Java- und Webservice-Entwickler
Buch | Softcover (2025)
dpunkt (Verlag)
CHF 62,85
