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

 
9783319941127: Model Checking Software: 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings
Softcover
ISBN 10: 3319941127 ISBN 13: 9783319941127
Publisher: Springer, 2018

This specific ISBN edition is currently not available.

Synopsis

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. 

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

Publisher
Springer
Publication date
2018
Language
English
ISBN 10 
3319941127
ISBN 13 
9783319941127
Binding
Paperback
Number of pages
364
Editor
Gallardo Marķa Del Mar, Merino Pedro

Other Popular Editions of the Same Title

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

Featured Edition

ISBN 10:  3319941100 ISBN 13:  9783319941103
Publisher: Springer, 2018
Softcover