CONTRIBUTORS
changeset 33897 6db9292f586a
parent 33896 4782d74e67ab
child 33951 651028e34b5d
equal deleted inserted replaced
33896:4782d74e67ab 33897:6db9292f586a
    18 
    18 
    19 * November 2009: Lukas Bulwahn, TUM
    19 * November 2009: Lukas Bulwahn, TUM
    20   Predicate Compiler: a compiler for inductive predicates to
    20   Predicate Compiler: a compiler for inductive predicates to
    21   equational specifications.
    21   equational specifications.
    22  
    22  
    23 * November 2009: Sascha Boehme and Burkhart Wolff, TUM
    23 * November 2009: Sascha Boehme, TUM and Burkhart Wolff, LRI Paris
    24   HOL-Boogie: an interactive prover back-end for Boogie and VCC.
    24   HOL-Boogie: an interactive prover back-end for Boogie and VCC.
    25 
    25 
    26 * October 2009: Jasmin Blanchette, TUM
    26 * October 2009: Jasmin Blanchette, TUM
    27   Nitpick: yet another counterexample generator for Isabelle/HOL.
    27   Nitpick: yet another counterexample generator for Isabelle/HOL.
    28 
    28