Verification, Induction, Termination Analysis

Keyphrases

Publications

2010

Christoph Benzmüller
Verifying the Modal Logic Cube Is an Easy Task (For Higher-Order Automated Reasoners). Verification, Induction, Termination Analysis (2010)
Marc Brockschmidt, Carsten Otto, Christian von Essen, Jürgen Giesl
Termination Graphs for Java Bytecode. Verification, Induction, Termination Analysis (2010)
Brigitte Pientka
Programming Inductive Proofs - A New Approach Based on Contextual Types. Verification, Induction, Termination Analysis (2010)
Moa Johansson, Lucas Dixon, Alan Bundy
Dynamic Rippling, Middle-Out Reasoning and Lemma Discovery. Verification, Induction, Termination Analysis (2010)
Sabine Glesner, Björn Bartels, Thomas Göthel, Moritz Kleine
The VATES-Diamond as a Verifier's Best Friend. Verification, Induction, Termination Analysis (2010)
Markus Aderhold
Second-Order Programs with Preconditions. Verification, Induction, Termination Analysis (2010)
Serge Autexier, Dieter Hutter, Till Mossakowski
Change Management for Heterogeneous Development Graphs. Verification, Induction, Termination Analysis (2010)
Christoph Brandt, Jens Otten, Christoph Kreitz, Wolfgang Bibel
Specifying and Verifying Organizational Security Properties in First-Order Logic. Verification, Induction, Termination Analysis (2010)

volume 6463, 2010

Verification, Induction, Termination Analysis - Festschrift for Christoph Walther on the Occasion of His 60th Birthday Verification, Induction, Termination Analysis 6463 (2010)