Verification, Model Checking, and Abstract Interpretation: 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings - Softcover

 
9783662460825: Verification, Model Checking, and Abstract Interpretation: 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings
Softcover
ISBN 10: 3662460823 ISBN 13: 9783662460825
Publisher: Springer, 2015

This specific ISBN edition is currently not available.

Synopsis

Program verification.- Model checking.- Abstract interpretation.- Abstract domains.- Program synthesis.- Static analysis.- Deductive methods.- Program certification.- Error diagnosis.- Program transformation.- Hybrid and cyberphysical systems.

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

Publisher
Springer
Publication date
2015
Language
English
ISBN 10 
3662460823
ISBN 13 
9783662460825
Binding
Paperback
Number of pages
488
Editor
D'Souza Deepak, Lal Akash, Larsen Kim Guldstrand

Other Popular Editions of the Same Title

9783662460801: Verification, Model Checking, and Abstract Interpretation: 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings: 8931 (Lecture Notes in Computer Science, 8931)

Featured Edition

ISBN 10:  3662460807 ISBN 13:  9783662460801
Publisher: Springer, 2015
Softcover