Christoph Sticksel

Publication Activity (10 Years)

Years Active: 2010-2016
Publications (10 Years): 1

Top Topics

Formal Verification

Top Venues

Publications

Adrien Champion, Alain Mebsout, Christoph Sticksel, Cesare Tinelli
The Kind 2 Model Checker. CAV (2) (2016)
Moshe Emmer, Zurab Khasidashvili, Konstantin Korovin, Christoph Sticksel, Andrei Voronkov
EPR-Based Bounded Model Checking at Word Level. IJCAR (2012)
Konstantin Korovin, Christoph Sticksel
Labelled Unit Superposition Calculi for Instantiation-Based Reasoning. LPAR (Yogyakarta) (2010)
Konstantin Korovin, Christoph Sticksel
iProver-Eq: An Instantiation-Based Theorem Prover with Equality. IJCAR (2010)