Model Checking Software: 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings (Theoretical Computer Science and General Issues, Band 10869) - Softcover

 
9783319941103: Model Checking Software: 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings (Theoretical Computer Science and General Issues, Band 10869)
Softcover
ISBN 10: 3319941100 ISBN 13: 9783319941103
Verlag: Springer, 2018

Inhaltsangabe

This book constitutes the refereed proceedings of the 25th International Symposium on Model Checking Software, SPIN 2018, held in Malaga, Spain, in June 2018.

The 14 papers presented, 1 short paper, and 1 demo-tool paper, were carefully reviewed and selected from 28 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. 

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2018
Sprache
Englisch
ISBN 10 
3319941100
ISBN 13 
9783319941103
Einband
Taschenbuch
Auflage
1
Anzahl der Seiten
364
Herausgeber
Gallardo María Del Mar, Merino Pedro
Kontakt zum Hersteller
ProductSafety@springernature.com
ProductSafety@springernature.com

Poststr. 9
Darmstadt
64293
Deutschland

Weitere beliebte Ausgaben desselben Titels

9783319941127: Model Checking Software: 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings

Vorgestellte Ausgabe

ISBN 10:  3319941127 ISBN 13:  9783319941127
Verlag: Springer, 2018
Softcover