Model Checking Software : 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings / edited by Owolabi Legunsen, Grigore Rosu

Mitwirkende(r):

Resource type: Ressourcentyp: Buch (Online)Buch (Online)Sprache: Englisch Reihen: Lecture Notes in Computer Science ; 13255Verlag: Cham : Springer International Publishing, 2022Verlag: Cham : Imprint: Springer, 2022Auflage: 1st ed. 2022Beschreibung: 1 Online-Ressource(IX, 153 p. 40 illus., 26 illus. in color.)ISBN:

9783031150777

Schlagwörter:

Andere physische Formen: 9783031150760 | 9783031150784 | Erscheint auch als: 9783031150760 Druck-Ausgabe | Erscheint auch als: 9783031150784 Druck-AusgabeDOI: DOI: 10.1007/978-3-031-15077-7Online-Ressourcen:

Zusammenfassung: 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.Zusammenfassung: 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.PPN: PPN: 1814989218Package identifier: Produktsigel: ZDB-2-SEB | ZDB-2-SCS | ZDB-2-SXCS | ZDB-2-LNC

Exemplare ( 0 )

Dieser Titel hat keine Exemplare