Verification, Model Checking, and Abstract Interpretation [electronic resource] : 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015. Proceedings / edited by Deepak D'Souza, Akash Lal, Kim Guldstrand Larsen.
Material type:
TextLanguage: English Series: Lecture Notes in Computer Science ; 8931Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2015.Description: 1 online resource (XVIII, 468 p. 102 ill.)ISBN: - 9783662460818
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.
| Item type | Current library | Call number | Materials specified | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|---|
Books
|
National Library of India | Available | EBK000025299ENG |
Total holds: 0
Program verification -- Model checking -- Abstract interpretation -- Abstract domains -- Program synthesis -- Static analysis -- Deductive methods -- Program certification -- Error diagnosis -- Program transformation.- Hybrid and cyberphysical systems.
There are no comments on this title.
Log in to your account to post a comment.
