Automated Stateful Protocol Verification by Andreas V. Hess π§, Sebastian MΓΆdersheim π, Achim D. Brucker π and Anders Schlichtkrull π Apr 08
A Verified Functional Implementation of Bachmair and Ganzinger's Ordered Resolution Prover by Anders Schlichtkrull π, Jasmin Christian Blanchette π§ and Dmitriy Traytel π Nov 23
Formalization of Bachmair and Ganzinger's Ordered Resolution Prover by Anders Schlichtkrull π, Jasmin Christian Blanchette π§, Dmitriy Traytel π and Uwe Waldmann π§ Jan 18
First-Order Logic According to Harrison by Alexander Birch Jensen π, Anders Schlichtkrull π and JΓΈrgen Villadsen π Jan 01