Model Checking Software

28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings

Owolabi Legunsen, Grigore Rosu (Herausgeber)

Buch | Softcover

IX, 153 Seiten

2022 | 1st ed. 2022
Springer International Publishing (Verlag)
978-3-031-15076-0 (ISBN)

Artikel merken

This book constitutes the refereed proceedings of the 28th International Symposium on Model Checking Software, SPIN 2022, held virtually in May 2022.The 8 full papers were carefully reviewed and selected from 11 submissions. formal analysis for modeling languages, such as UML/state charts;

This book constitutes the refereed proceedings of the 28th International Symposium on Model Checking Software, SPIN 2022, held virtually in May 2022.

The 8 full papers were carefully reviewed and selected from 11 submissions. Topics covered include formal verification techniques for automated analysis of software; formal analysis for modeling languages, such as UML/state charts; formal specification languages, temporal logic, design-by-contract; model checking, automated theorem proving, including SAT and SMT; verifying compilers; abstraction and symbolic execution techniques; and much more.

Automated Consistency Analysis for Legal Contracts.- Monitoring Cyber-Physical Systems using a Tiny Twin to Prevent Cyber-Attacks.- Synthesis of Rigorous Floating-Point Predicates.- Statistical Model Checking for Probabilistic Hyperproperties of Real-Valued Signals.- SpecRepair: Counter-Example Guided Safety Repair of Deep Neural Networks.- Verifying the SHA-3 Implementation from OpenSSL with the Software Analysis Workbench.- Bounded-Memory Runtime Enforcement.- Solving String Theories involving Regular Membership Predicates using SAT.

Erscheinungsdatum	24.08.2022
Reihe/Serie	Lecture Notes in Computer Science
Zusatzinfo	IX, 153 p. 41 illus., 27 illus. in color.
Verlagsort	Cham
Sprache	englisch
Maße	155 x 235 mm
Gewicht	259 g
Themenwelt	Mathematik / Informatik ► Informatik ► Software Entwicklung
	Informatik ► Theorie / Studium ► Künstliche Intelligenz / Robotik
	Informatik ► Weitere Themen ► Hardware
Schlagworte	Applications • Architecting • architecture verification and validation • Artificial Intelligence • Computer Hardware • Computer Science • conference proceedings • Embedded Systems • Formal Languages • Formal Logic • formal methods • Informatics • Knowledge-Based System • Linguistics • Mathematics • Model Checking • Research • software architecture • Software Design • Software engineering
ISBN-10	3-031-15076-7 / 3031150767
ISBN-13	978-3-031-15076-0 / 9783031150760
Zustand	Neuware