Model Checking Software

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

AvOwolabi Legunsen,Grigore Rosu

Häftad, Engelska, 2022

Del 13255 i serien Lecture Notes in Computer Science

1 114 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

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;

Produktinformation

Utgivningsdatum:2022-08-23
Mått:155 x 235 x 15 mm
Vikt:264 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:153
Förlag:Springer International Publishing AG
ISBN:9783031150760

Utforska kategorier

Programvaruutveckling inom Data och IT
Artificiell intelligens inom Data och IT
Hårdvara inom Data och IT

Innehållsförteckning

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.

Du kanske också är intresserad av

Grigore Rosu, Owolabi Legunsen - Model Checking Software, E-bok

Model Checking Software

Grigore Rosu, Owolabi Legunsen

E-bok

2022

1 408 kr

Nikolai Tillmann, Oleg Sokolsky, Grigore Rosu, Gordon Pace, Insup Lee, Klaus Havelund, Bernd Finkbeiner, Ylies Falcone, Howard Barringer - Runtime Verification, E-bok

Runtime Verification

Nikolai Tillmann, Oleg Sokolsky, Grigore Rosu, Gordon Pace, Insup Lee, Klaus Havelund, Bernd Finkbeiner, Ylies Falcone, Howard Barringer

E-bok

2010

708 kr

Grigore Rosu, Jose Meseguer - Algebraic Methodology and Software Technology, E-bok

Algebraic Methodology and Software Technology

Grigore Rosu, Jose Meseguer

E-bok

2008

708 kr

Burkhart Wolff, Grigore Rosu, Manuel Nunez, Klaus Havelund - Formal Approaches to Software Testing and Runtime Verification, E-bok

Formal Approaches to Software Testing and Runtime Verification

Burkhart Wolff, Grigore Rosu, Manuel Nunez, Klaus Havelund

E-bok

2006

708 kr

Dana Fisman, Grigore Rosu - Tools and Algorithms for the Construction and Analysis of Systems, Häftad

Del 13244

Tools and Algorithms for the Construction and Analysis of Systems

Dana Fisman, Grigore Rosu

Häftad, 2022

450 kr

Grigore Rosu, Holger Giese - Formal Techniques for Distributed Systems, E-bok

Formal Techniques for Distributed Systems

Grigore Rosu, Holger Giese

E-bok

2012

708 kr

Holger Giese, Grigore Rosu - Formal Techniques for Distributed Systems, Häftad

Formal Techniques for Distributed Systems

Holger Giese, Grigore Rosu

Häftad, 2012

561 kr

Joseph Goguen, Grigore Rosu - Institution Morphisms, Häftad

Institution Morphisms

Joseph Goguen, Grigore Rosu

Häftad, 2013

260 kr

José Meseguer, Grigore Rosu - Algebraic Methodology and Software Technology, Häftad

Algebraic Methodology and Software Technology

José Meseguer, Grigore Rosu

Häftad, 2008

561 kr

Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon Pace, Grigore Rosu, Oleg Sokolsky, Nikolai Tillmann - Runtime Verification, Häftad

Runtime Verification

Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon Pace, Grigore Rosu, Oleg Sokolsky, Nikolai Tillmann

Häftad, 2010

561 kr