Efficient Model Checking Using Tabled Resolution
No abstract available.
Related papers
- A Logical Encoding of the pi-Calculus: Model Checking Mobile Processes Using Tabled Resolution VMCAI 2003
- Property Directed Reachability with Extended Resolution CAV 2025
- The Simple Essence of Overloading: Making Ad-Hoc Polymorphism More Algebraic with Flow-Based Variational Type-Checking OOPSLA 2025
- Efficient Certified Resolution Proof Checking TACAS 2017
- Integration in PVS: Tables, Types, and Model Checking TACAS 1997
- Using First-Order Theorem Provers in the Jahob Data Structure Verification System VMCAI 2007
- Type-checking multi-parameter type classes JFP 2002
- An Abstract Machine for Tabled Execution of Fixed-Order Stratified Logic Programs TOPLAS 1998