The following pages link to (Q4518869):
Displaying 10 items.
- Providing a formal linkage between MDG and HOL (Q878110) (← links)
- Formal verification of a partial-order reduction technique for model checking (Q1961915) (← links)
- A proof theory for model checking (Q2331070) (← links)
- Verification of AMBA using a combination of model checking and theorem proving (Q2863854) (← links)
- Automated formal analysis and verification: an overview (Q2871577) (← links)
- Combining Model Checking and Deduction (Q3176378) (← links)
- (Q4364538) (← links)
- Relational and Kleene-Algebraic Methods in Computer Science (Q5712440) (← links)
- Combining termination proofs in model transformation systems (Q5740376) (← links)
- Practical abstractions for automated verification of message passing concurrency (Q6536355) (← links)