Verification, Induction, Termination Analysis Festschrift for Christoph Walther on the Occasion of His 60th Birthday - Siegler, Simon; Wasser, Nathan; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2010)
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$1 (Bs 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.s
Keywords: 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; Electronic books