The Kind 2 Model Checker A Champion, A Mebsout, C Sticksel, C Tinelli International Conference on Computer Aided Verification, 510-517, 2016 | 139 | 2016 |
iProver-Eq: An instantiation-based theorem prover with equality K Korovin, C Sticksel Automated Reasoning: 5th International Joint Conference, IJCAR 2010 …, 2010 | 33 | 2010 |
Verification of quasi-synchronous systems with Uppaal S Bhattacharyya, S Miller, J Yang, S Smolka, B Meng, C Sticksel, C Tinelli 2014 IEEE/AIAA 33rd Digital Avionics Systems Conference (DASC), 8A4-1-8A4-12, 2014 | 14 | 2014 |
Labelled unit superposition calculi for instantiation-based reasoning K Korovin, C Sticksel Logic for Programming, Artificial Intelligence, and Reasoning: 17th …, 2010 | 11 | 2010 |
Formal verification of quasi-synchronous systems SP Miller, S Bhattacharyya, C Tinelli, S Smolka, C Sticksel, B Meng, ... ROCKWELL COLLINS INC CEDAR RAPIDS IA, Tech Report, 2015 | 10 | 2015 |
EPR-based bounded model checking at word level M Emmer, Z Khasidashvili, K Korovin, C Sticksel, A Voronkov Automated Reasoning: 6th International Joint Conference, IJCAR 2012 …, 2012 | 9 | 2012 |
A note on model representation and proof extraction in the first-order instantiation-based calculus Inst-Gen K Korovin, C Sticksel Proceedings of the 19th Automated Reasoning Workshop (ARW’12), 11-12, 2012 | 4 | 2012 |
Efficient Ground Satisfiability Solving in an Instantiation-based Method for First-order Theorem Proving C Sticksel Automated Reasoning Workshop 2009 Bridging the Gap between Theory and …, 2009 | 1 | 2009 |
Scalable and Accurate SMT-based Model Checking of Data Flow Systems C Tinelli, C Barrett | | 2013 |
EPR-Based Bounded Model Checking at Word Level C Sticksel | | 2012 |
Efficient Equational Reasoning for the Inst-Gen Framework C Sticksel PQDT-UK & Ireland, 2011 | | 2011 |
Automated Theorem Proving in Interactive Proof Construction C Sticksel, PH Schmitt | | 2007 |
COMP11212: Fundamentals of Computation Part 2: Set-theoretical Models of Systems1 C Sticksel | | |
iProver-Eq K Korovin, C Sticksel | | |