A Library for Composite Symbolic Representations
No abstract available.
DOI 10.1007/3-540-45319-9_5
Related papers
- A HAT Trick: Automatically Verifying Representation Invariants using Symbolic Finite Automata PLDI 2024
- Compositional Neural-Cyber-Physical System Verification in the Interactive Theorem Prover of Your Choice ICFP 2026
- Soteria: Efficient Symbolic Execution as a Functional Library: Perhaps You Should Write Your Own Symbolic Execution Engine! PLDI 2026
- JaVerT 2.0: compositional symbolic execution for JavaScript POPL 2019
- Grisette: Symbolic Compilation as a Functional Programming Library POPL 2023
- Review of "The Haskell School of Music: from Signals to Symphonies, " by Paul Hudak and Donya Quick, Cambridge University Press, 2018 JFP 2019
- Characterizing Implementability of Global Protocols with Infinite States and Data OOPSLA 2025
- Symbolic finite state transducers: algorithms and applications POPL 2012