Home

Publications

"Clause Form Conversions for Boolean Circuits"
Daniel Sheridan and Paul Jackson

"Bounded Verification of Past LTL"
Alessandro Cimatti, Marco Roveri and Daniel Sheridan

"Bounded Model Checking with SNF, Alternating Automata and Büchi Automata"
Daniel Sheridan, Second International Workshop on Bounded Model Checking

"A Fixpoint Based Encoding for Bounded Model Checking"
Alan Frisch, Daniel Sheridan and Toby Walsh