The following pages link to (Q4737589):
Displaying 9 items.
- A symbolic semantics for abstract model checking (Q1595250) (← links)
- A generalized semantics of PROMELA for abstract model checking (Q1882796) (← links)
- A proof theory for model checking (Q2331070) (← links)
- (Q2764059) (← links)
- Algorithmic algebraic model checking. III: Approximate methods (Q2852017) (← links)
- AlPiNA: A Symbolic Model Checker (Q3569873) (← links)
- Computer Aided Verification (Q5716598) (← links)
- (Q5754533) (← links)
- Concrete abstractions. Formalizing and analyzing discrete theories and algorithms with the RISCAL model checker (Q6114445) (← links)