Verification, Induction, Termination Analysis  Festschrift for Christoph Walther on the Occasion of His 60th Birthday /  [electronic resource] : 
edited by Simon Siegler, Nathan Wasser. 
 - 1st ed. 2010. 
 - XI, 145 p. 30 illus.  online resource. 
 - Lecture Notes in Artificial Intelligence,  6463  2945-9141 ; .
 - Lecture Notes in Artificial Intelligence,  6463 .
<br/><br/>Programming Inductive Proofs -- Termination Graphs for Java Bytecode -- Specifying and Verifying Organizational Security Properties in First-Order Logic -- Change Management for Heterogeneous Development Graphs -- The VATES-Diamond as a Verifier's Best Friend -- Dynamic Rippling, Middle-Out Reasoning and Lemma Discovery -- Verifying the Modal Logic Cube Is an Easy Task (For Higher-Order Automated Reasoners) -- Second-Order Programs with Preconditions. 
<br/><br/><label>ISBN: </label>9783642171727 
<br/><br/><label>Standard No.: </label>10.1007/978-3-642-17172-7  doi 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Software engineering.<br/>Computer networks .<br/>Computer science.<br/>Artificial intelligence.<br/>Machine theory.<br/>Software Engineering.<br/>Computer Communication Networks.<br/>Computer Science Logic and Foundations of Programming.<br/>Artificial Intelligence.<br/>Formal Languages and Automata Theory.
<br/><br/><label>LC Class. No.: </label>QA76.758 
<br/><br/><label>Dewey Class. No.: </label>005.1