Expand, Enlarge and Check... Made Efficient
Abstract elided by the publisher.
Related papers
- Incremental, Inductive Coverability CAV 2013
- Symbolic Model Checking for TLA+ Made Faster TACAS 2023
- Synthesis Through Unification CAV 2015
- First-order unification by structural recursion JFP 2003
- Decisions for "Type" in APL POPL 1979
- Introducing Certificates to the Hardware Model Checking Competition CAV 2025
- Accepting blame for safe tunneled exceptions PLDI 2016
- Symbolic Quantitative Robustness Analysis of Timed Automata TACAS 2015