Keyword:model finding

Publications
Razor: Provenance and Exploration in Model-Finding Salman Saghafi and Daniel Dougherty In:PAAR-2014. 4th Workshop on Practical Aspects of Automated Reasoning
A Model Guided Instantiation Heuristic for the Superposition Calculus with Theories Joshua Bax In:PAAR-2014. 4th Workshop on Practical Aspects of Automated Reasoning
Nitpick: A Counterexample Generator for Isabelle/HOL Based on the Relational Model Finder Kodkod Jasmin Christian Blanchette In:LPAR-17-short. short papers for 17th International Conference on Logic for Programming, Artificial intelligence, and Reasoning.