The following pages link to (Q4809077):
Displayed 12 items.
- A decidability result for the model checking of infinite-state systems (Q438572) (← links)
- Composing model programs for analysis (Q710670) (← links)
- Answer set programming based on propositional satisfiability (Q861709) (← links)
- HySAT: An efficient proof engine for bounded model checking of hybrid systems (Q883144) (← links)
- Theory decision by decomposition (Q1041591) (← links)
- Superposition as a decision procedure for timed automata (Q1949086) (← links)
- Bounded model checking of infinite state systems (Q2369883) (← links)
- An interpolating theorem prover (Q2575736) (← links)
- Abstraction-Based Algorithm for 2QBF (Q3007686) (← links)
- Modular SMT Proofs for Fast Reflexive Checking Inside Coq (Q3100210) (← links)
- Towards SMT Model Checking of Array-Based Systems (Q3541687) (← links)
- Combining Equational Reasoning (Q3655192) (← links)