A Generic Theorem Prover of CSP Refinement
Abstract elided by the publisher.
Related papers
- Theorem Prover Support for the Refinement of Stream Processing Functions TACAS 1997
- A tale of two provers: verifying monoidal string matching in liquid Haskell and Coq Haskell 2017
- FDR3 - A Modern Refinement Checker for CSP TACAS 2014
- A theorem prover for Boolean BI POPL 2013
- A Verified Compiler for Probability Density Functions ESOP 2015
- A Generic Cyclic Theorem Prover APLAS 2012
- A verified prover based on ordered resolution CPP 2019
- A refinement hierarchy for free list memory allocators ISMM 2017