Automated Stateful Protocol Verification
by Andreas V. Hess, Sebastian Mödersheim, Achim D. Brucker and Anders Schlichtkrull
Anders Schlichtkrull
2020
2018
A Verified Functional Implementation of Bachmair and Ganzinger's Ordered Resolution Prover
by Anders Schlichtkrull, Jasmin Christian Blanchette and Dmitriy Traytel
Formalization of Bachmair and Ganzinger's Ordered Resolution Prover
by Anders Schlichtkrull, Jasmin Christian Blanchette, Dmitriy Traytel and Uwe Waldmann
2017
First-Order Logic According to Harrison
by Alexander Birch Jensen, Anders Schlichtkrull and Jørgen Villadsen
2016
The Resolution Calculus for First-Order Logic
by Anders Schlichtkrull