Articoli correlati a Model Checking Software: 25th International Symposium,...

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

 
9783319941103: Model Checking Software: 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings: 10869
Brossura
ISBN 10: 3319941100 ISBN 13: 9783319941103
Casa editrice: Springer, 2018

Sinossi

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. 

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Editore
Springer
Data di pubblicazione
2018
Lingua
Inglese
ISBN 10 
3319941100
ISBN 13 
9783319941103
Rilegatura
Copertina flessibile
Numero edizione
1
Numero di pagine
364
Redattore
Gallardo María Del Mar, Merino Pedro
Contatto del produttore
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3
Heidelberg
69115
Germania