Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles
Springer International Publishing (Verlag)
978-3-031-19848-9 (ISBN)
This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which took place in Rhodes, Greece, in October/November 2022.
The contributions in the four-volume set are organized according to the following topical sections: specify this - bridging gaps between program specification paradigms; x-by-construction meets runtime verification; verification and validation of concurrent and distributed heterogeneous systems; programming - what is next: the role of documentation; automated software re-engineering; DIME day; rigorous engineering of collective adaptive systems; formal methods meet machine learning; digital twin engineering; digital thread in smart manufacturing; formal methods for distributed computing in future railway systems; industrial day.
Specify This - Bridging gaps between program specification paradigms.- X-by-Construction Meets Runtime Verification.- Verification and Validation of Concurrent and Distributed Heterogeneous Systems.
| Erscheinungsdatum | 21.10.2022 |
|---|---|
| Reihe/Serie | Lecture Notes in Computer Science |
| Zusatzinfo | XIII, 598 p. 153 illus., 72 illus. in color. |
| Verlagsort | Cham |
| Sprache | englisch |
| Maße | 155 x 235 mm |
| Gewicht | 913 g |
| Themenwelt | Mathematik / Informatik ► Informatik ► Software Entwicklung |
| Schlagworte | architecture verification and validation • Artificial Intelligence • Automation • Computer Hardware • computer programming • Computer systems • Databases • distributed computer systems • Embedded Systems • Formal Languages • Formal Logic • formal methods • formal verifications • Knowledge-Based System • Model Checking • object-oriented programming • program compilers • Programming Languages • Semantics • Signal Processing • software architecture • Software Design • Software engineering • Software Quality • verification • Verification and Validation |
| ISBN-10 | 3-031-19848-4 / 3031198484 |
| ISBN-13 | 978-3-031-19848-9 / 9783031198489 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
aus dem Bereich
