The following pages link to (Q5014803):
Displaying 15 items.
- ProofWatch: watchlist guidance for large theories in E (Q1791167) (← links)
- A generalized semantics of PROMELA for abstract model checking (Q1882796) (← links)
- A proof theory for model checking (Q2331070) (← links)
- Universal guards, relativization of quantifiers, and failure models in model checking modulo theories (Q2786907) (← links)
- (Q3434483) (← links)
- Machine Checking Proof Theory: An Application of Logic to Logic (Q3601798) (← links)
- On the convergence of reduction-based and model-based methods in proof theory (Q3644841) (← links)
- (Q4364538) (← links)
- (Q4518869) (← links)
- (Q4539606) (← links)
- αCheck: A mechanized metatheory model checker (Q4593089) (← links)
- (Q4799291) (← links)
- Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays (Q5043584) (← links)
- (Q5322945) (← links)
- CONCUR 2005 – Concurrency Theory (Q5897473) (← links)