Verification, Induction, Termination Analysis [electronic resource] : Festschrift for Christoph Walther on the Occasion of His 60th Birthday / edited by Simon Siegler, Nathan Wasser.
Series: Lecture Notes in Computer Science ; 6463Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Description: XI, 145 p. 30 illus. online resourceContent type:- text
- computer
- online resource
- 9783642171727
- 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
- 005.1 23
- QA76.758

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.