Automata as Proofs
No abstract available.
Related papers
- Substructural Proofs as Automata APLAS 2016
- A Logical Treatment of Finite Automata TACAS 2024
- Specification and Verification of Concurrent Programs By Forall-Automata POPL 1987
- ML, Visibly Pushdown Class Memory Automata, and Extended Branching Vector Addition Systems with States TOPLAS 2019
- Advanced automata-based algorithms for program termination checking PLDI 2018
- Trace abstraction modulo probability POPL 2019
- Proof-directed program transformation: A functional account of efficient regular expression matching JFP 2021
- Concurrent Transition System Semantics of Process Networks POPL 1987