FDR3 - A Modern Refinement Checker for CSP
No abstract available.
Related papers
- A Generic Theorem Prover of CSP Refinement TACAS 2005
- Refinement kinds: type-safe programming with practical type-level computation OOPSLA 2019
- Santa Claus: Formal analysis of a process-oriented solution TOPLAS 2010
- HMC: Verifying Functional Programs Using Abstract Interpreters CAV 2011
- A Storm is Coming: A Modern Probabilistic Model Checker CAV 2017
- Time-Constrained Buffer Specifications in CSP+T and Timed CSP TOPLAS 1994
- Synthesizing SystemC Code from Delay Hybrid CSP APLAS 2017
- A Calculus for Hybrid CSP APLAS 2010