Finite Model Finding in SMT
Abstract elided by the publisher.
Related papers
- An Infinite Needle in a Finite Haystack: Finding Infinite Counter-Models in Deductive Verification POPL 2024
- Symbolic finite state transducers: algorithms and applications POPL 2012
- STLmc: Robust STL Model Checking of Hybrid Systems Using SMT CAV 2022
- Murxla: A Modular and Highly Extensible API Fuzzer for SMT Solvers CAV 2022
- AlleAlle: bounded relational model finding with unbounded data Onward! 2019
- Sound compilation of reals POPL 2014
- Finding Bounded Path in Graph Using SMT for Automatic Clock Routing CAV 2015
- Satisfiability Modulo Finite Fields CAV 2023