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

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

Show other versions (1)
Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Siegler, Simon (Editor), Wasser, Nathan (Editor)
Format: Electronic eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.
Series:Lecture Notes in Computer Science, 6463
Subjects:
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.
Online Access:Full Text via HEAL-Link
Table of Contents:
  • 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.

Similar Items