Verification, Model Checking, and Abstract Interpretation  15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings /  [electronic resource] : 
edited by Kenneth L. McMillan, Xavier Rival. 
 - Berlin, Heidelberg :  Springer Berlin Heidelberg,  2014. 
 - 1 online resource (XVIII, 493 p. 120 ill.) 
 - Lecture Notes in Computer Science,  8318  0302-9743 ; .
<br/><br/>Program verification -- Model checking -- Abstract interpretation and abstract domains -- Program synthesis -- Static analysis -- Type systems -- Deductive methods -- Program certification -- Debugging techniques -- Program transformation -- Optimization -- Hybrid and cyber-physical systems. 
<br/><br/><label>ISBN: </label>9783642540134 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science.<br/>Computer communication systems.<br/>Software engineering.<br/>Computers.<br/>Computer logic.<br/>Mathematical logic.<br/>Artificial intelligence.