Transforming the Theorem Prover into a Digital Design Tool: From Concept Car to Off-Road Vehicle
No abstract available.
Related papers
- MetaMorph - A Formal Methods Toolkit with Application to the Design of Digital Hardware JFP 1992
- AMYTISS: Parallelized Automated Controller Synthesis for Large-Scale Stochastic Systems CAV 2020
- Synthesis of Symbolic Controllers: A Parallelized and Sparsity-Aware Approach TACAS 2019
- Compositional Neural-Cyber-Physical System Verification in the Interactive Theorem Prover of Your Choice ICFP 2026
- Functional Design and Implementation of Graphical User Interfaces for Theorem Provers JFP 1999
- Temporal Stream Logic: Synthesis Beyond the Bools CAV 2019
- Compiling Functions onto Digital Microfluidics CGO 2023
- A logic of proofs for differential dynamic logic: toward independently checkable proof certificates for dynamic logics CPP 2016