Verification, Induction, Termination Analysis [electronic resource] : Festschrift for Christoph Walther on the Occasion of His 60th Birthday /
Siegler, Simon.editor.
Wasser, Nathan.editor.
Bibliographic Level Mode of Issuance: Monograph
Includes bibliographical references and index.
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.
Software engineering.
Computer communication systems.
Computer logic.
Artificial intelligence.
Mathematical logic.
Software Engineering/Programming and Operating Systems.
Software Engineering.
Computer Communication Networks.
Logics and Meanings of Programs.
Artificial Intelligence.
Mathematical Logic and Formal Languages.

Lecture Notes in Computer Science