Model checking software 28th International Symposium, SPIN 2022, virtual event, May 21, 2022 : proceedings

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	SPIN (VerfasserIn)
Weitere Verfasser:	Legunsen, Owolabi (HerausgeberIn), Roşu, Grigore (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Cham, Switzerland Springer 2022
Schriftenreihe:	Lecture notes in computer science 13255
Schlagworte:	SPIN (Computer file) > Computer software > Verification > Computer simulation > Testing > VERIFIKATION (SOFTWARE ENGINEERING) > KORREKTHEIT (THEORIE DER PROGRAMMIERUNG) > Konferenzschrift > UML/P > Entwurfssprache > Model Checking
Online Zugang:	Inhaltsverzeichnis
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Titel	Jahr	Verfasser
Statistical Model Checking for Probabilistic Hyperproperties of Real-Valued Signals	2022	Arora, Shiraj
Monitoring Cyber-Physical Systems Using a Tiny Twin to Prevent Cyber-Attacks	2022	Moradi, Fereidoun
SpecRepair: Counter-Example Guided Safety Repair of Deep Neural Networks	2022	Bauer-Marquart, Fabian
Verifying the SHA-3 Implementation from OpenSSL with the Software Analysis Workbench	2022	Hanson, Parker
Solving String Theories Involving Regular Membership Predicates Using SAT	2022	Kulczynski, Mitja
Synthesis of Rigorous Floating-Point Predicates	2022	Nguyen, Thanh Son
Bounded-Memory Runtime Enforcement	2022	Shankar, Saumya
Automated Consistency Analysis for Legal Contracts	2022	Khoja, Alan