The following pages link to Thomas Gibson-Robinson (Q510896):
Displayed 7 items.
- Computing maximal weak and other bisimulations (Q510897) (← links)
- FDR: from theory to industrial application (Q1708711) (← links)
- Tighter reachability criteria for deadlock-freedom analysis (Q2281624) (← links)
- Efficient verification of concurrent systems using local-analysis-based approximations and SAT solving (Q2418047) (← links)
- The Automatic Detection of Token Structures and Invariants Using SAT Checking (Q3303932) (← links)
- Checking Static Properties Using Conservative SAT Approximations for Reachability (Q5045468) (← links)
- FDR3 — A Modern Refinement Checker for CSP (Q5498738) (← links)