Symbolic Automata for Static Specification Mining
No abstract available.
Related papers
- Static specification inference using predicate mining PLDI 2007
- Symbolic Quantitative Robustness Analysis of Timed Automata TACAS 2015
- Active Learning of Symbolic NetKAT Automata PLDI 2025
- Abstract Symbolic Automata: Mixed syntactic/semantic similarity analysis of executables POPL 2015
- A HAT Trick: Automatically Verifying Representation Invariants using Symbolic Finite Automata PLDI 2024
- A Unified Model for Real-Time Systems: Symbolic Techniques and Implementation CAV 2023
- Symbolic Automata: Omega-Regularity Modulo Theories POPL 2025
- AutoQ: An Automata-Based Quantum Circuit Verifier CAV 2023