Title:
Verification, Model Checking, and Abstract Interpretation 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings
Author:
D'Souza, Deepak. editor.
ISBN:
9783662460818
Edition:
1st ed. 2015.
Physical Description:
XVIII, 468 p. 102 illus. online resource.
Series:
Theoretical Computer Science and General Issues, 8931
Contents:
Program verification -- Model checking -- Abstract interpretation -- Abstract domains -- Program synthesis -- Static analysis -- Deductive methods -- Program certification -- Error diagnosis -- Program transformation.- Hybrid and cyberphysical systems.
Added Corporate Author:
Electronic Access:
https://doi.org/10.1007/978-3-662-46081-8Copies:
Available:*
Library | Material Type | Item Barcode | Shelf Number | Status | Item Holds |
|---|---|---|---|---|---|
Searching... | E-Book | 518938-1001 | XX(518938.1) | Searching... | Searching... |