Simon Siegler, Nathan Wasser (Eds.):
Verification, Induction, Termination Analysis - Festschrift for Christoph Walther on the Occasion of His 60th Birthday.
Lecture Notes in Computer Science 6463 Springer 2010, ISBN 978-3-642-17171-0 
- Brigitte Pientka:
Programming Inductive Proofs - A New Approach Based on Contextual Types.
1-16
- Marc Brockschmidt, Carsten Otto, Christian von Essen, Jürgen Giesl:
Termination Graphs for Java Bytecode.
17-37
- Christoph Brandt, Jens Otten, Christoph Kreitz, Wolfgang Bibel:
Specifying and Verifying Organizational Security Properties in First-Order Logic.
38-53
- Serge Autexier, Dieter Hutter, Till Mossakowski:
Change Management for Heterogeneous Development Graphs.
54-80
- Sabine Glesner, Björn Bartels, Thomas Göthel, Moritz Kleine:
The VATES-Diamond as a Verifier's Best Friend.
81-101
- Moa Johansson, Lucas Dixon, Alan Bundy:
Dynamic Rippling, Middle-Out Reasoning and Lemma Discovery.
102-116
- Christoph Benzmüller:
Verifying the Modal Logic Cube Is an Easy Task (For Higher-Order Automated Reasoners).
117-128
- Markus Aderhold:
Second-Order Programs with Preconditions.
129-143
Last update Tue May 22 23:23:10 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
