Formal Methods
Springer International Publishing (Verlag)
978-3-030-90869-0 (ISBN)
This book constitutes the refereed proceedings of the 24th Symposium on Formal Methods, FM 2021, held virtually in November 2021.
The 43 full papers presented together with 4 invited presentations were carefully reviewed and selected from 131 submissions. The papers are organized in topical sections named: Invited Presentations. - Interactive Theorem Proving, Neural Networks & Active Learning, Logics & Theory, Program Verification I, Hybrid Systems, Program Verification II, Automata, Analysis of Complex Systems, Probabilities, Industry Track Invited Papers, Industry Track, Divide et Impera: Efficient Synthesis of Cyber-Physical System.
Invited Presentations. - Interactive Theorem Proving.- Neural Networks & Active Learning.- Logics & Theory.- Program Verification I.- Hybrid Systems.- Program Verification II.- Automata.- Analysis of Complex Systems.- Probabilities.- Industry Track Invited Papers.- Industry Track.- Divide et Impera: Efficient Synthesis of Cyber-Physical System.
Erscheinungsdatum | 11.11.2021 |
---|---|
Reihe/Serie | Lecture Notes in Computer Science | Programming and Software Engineering |
Zusatzinfo | XVII, 800 p. 278 illus., 159 illus. in color. |
Verlagsort | Cham |
Sprache | englisch |
Maße | 155 x 235 mm |
Gewicht | 1234 g |
Themenwelt | Mathematik / Informatik ► Informatik ► Betriebssysteme / Server |
Mathematik / Informatik ► Informatik ► Software Entwicklung | |
Informatik ► Theorie / Studium ► Künstliche Intelligenz / Robotik | |
Schlagworte | Applications • architecture verification and validation • Artificial Intelligence • computer programming • Computer Science • Computer systems • conference proceedings • Embedded Systems • Formal Languages • Formal Logic • formal methods • formal verifications • Informatics • Model Checking • object-oriented programming • Programming Languages • Research • Signal Processing • software architecture • Software Design • Software engineering • Software Quality • theoretical computer science • Verification and Validation |
ISBN-10 | 3-030-90869-0 / 3030908690 |
ISBN-13 | 978-3-030-90869-0 / 9783030908690 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
aus dem Bereich