Theorem Prover Support for the Refinement of Stream Processing Functions
No abstract available.
Related papers
- A Generic Theorem Prover of CSP Refinement TACAS 2005
- A verified prover based on ordered resolution CPP 2019
- Functional Design and Implementation of Graphical User Interfaces for Theorem Provers JFP 1999
- A Verified Compiler for Probability Density Functions ESOP 2015
- A tale of two provers: verifying monoidal string matching in liquid Haskell and Coq Haskell 2017
- A Two-Tier Technique for Supporting Quantifiers in a Lazily Proof-Explicating Theorem Prover TACAS 2005
- Dependent types from counterexamples POPL 2010
- A proof-theoretic approach to certifying skolemization CPP 2019