Verification, Induction, Termination Analysis Festschrift for Christoph Walther on the Occasion of His 60th Birthday /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Siegler, Simon (Επιμελητής έκδοσης), Wasser, Nathan (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.
• Σειρά: Lecture Notes in Computer Science, 6463
• Θέματα: Computer science.; Computer communication systems.; Software engineering.; Computer logic.; Mathematical logic.; Artificial intelligence.; Computer Science.; Software Engineering/Programming and Operating Systems.; Software Engineering.; Computer Communication Networks.; Logics and Meanings of Programs.; Artificial Intelligence (incl. Robotics).; Mathematical Logic and Formal Languages.

Πίνακας περιεχομένων:

• 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.