ObsSlice: A Timed Automata Slicer Based on Observers
No abstract available.
Related papers
- Symbiotic 3: New Slicer and Error-Witness Generation - (Competition Contribution) TACAS 2016
- Combining Functional and Automata Synthesis to Discover Causal Reactive Programs POPL 2023
- Learning Real-Time One-Counter Automata Using Polynomially Many Queries TACAS 2025
- Goal-directed weakening of abstract interpretation results TOPLAS 2007
- A Learning-Based Approach to Static Program Slicing OOPSLA 2024
- ML, Visibly Pushdown Class Memory Automata, and Extended Branching Vector Addition Systems with States TOPLAS 2019
- What packets may come: automata for network monitoring POPL 2001
- A New Approach for Active Automata Learning Based on Apartness TACAS 2022