A Generic Cyclic Theorem Prover
Abstract elided by the publisher.
Related papers
- The whiley rewrite language (WyRL) SLE 2015
- A Generic Theorem Prover of CSP Refinement TACAS 2005
- Cyclone: A Heterogeneous Tool for Verifying Infinite Descent TACAS 2025
- Functional Design and Implementation of Graphical User Interfaces for Theorem Provers JFP 1999
- The Heuristic Theorem Prover: Yet Another SMT Modulo Theorem Prover CAV 2006
- An Interpolating Theorem Prover TACAS 2004
- AVATAR: The Architecture for First-Order Theorem Provers CAV 2014
- Formalizing a JVML Verifier for Initialization in a Theorem Prover CAV 2001