Model Checking Software: 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings: 10869 (Lecture Notes in Computer Science, 10869) - Softcover

 
9783319941103: Model Checking Software: 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings: 10869 (Lecture Notes in Computer Science, 10869)
Softcover
ISBN 10: 3319941100 ISBN 13: 9783319941103
Publisher: Springer, 2018

Synopsis

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. 

"synopsis" may belong to another edition of this title.

Publisher
Springer
Publication date
2018
Language
English
ISBN 10 
3319941100
ISBN 13 
9783319941103
Binding
Paperback
Edition number
1
Number of pages
363
Editor
Gallardo Marķa Del Mar, Merino Pedro

Other Popular Editions of the Same Title

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

Featured Edition

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