Hardware and Software: Verification and Testing  8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers /  [electronic resource] : 
edited by Armin Biere, Amir Nahir, Tanja Vos. 
 - Berlin, Heidelberg :  Springer Berlin Heidelberg,  2013. 
 - 1 online resource (XII, 281 p. 75 ill.) 
 - Lecture Notes in Computer Science,  7857  0302-9743 ; .
<br/><br/>On Behavioral Programming -- Verifying Real-Time Software Is Not Reasonable: Abstract of Invited Talk -- SMT in Verification, Modeling, and Testing at Microsoft -- Reducing Costs While Increasing Quality -- Special Session on Security Verification -- Circuit Primitives for Monitoring Information Flow and Enabling Redundancy -- Formal Analysis of Security Data Paths in RTL Design -- Precise Detection of Atomicity Violations -- Proving Mutual Termination of Programs -- Knowledge Based Transactional Behavior -- Repair with On-The-Fly Program Analysis -- Computing Interpolants without Proofs -- MaxSAT-Based MCS Enumeration -- Automated Reencoding of Boolean Formulas. 
<br/><br/><label>ISBN: </label>9783642396113 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science.<br/>Software engineering.<br/>Programming languages (Electronic computers).<br/>Computer logic.<br/>Mathematical logic.<br/>Artificial intelligence.