Combining Model Checking and Deduction for I/O-Automata
No abstract available.
Related papers
- Searching Powerset Automata by Combining Explicit-State and Symbolic Model Checking TACAS 2001
- Accelerating Markov Chain Model Checking: Good-for-Games Meets Unambiguous Automata CAV 2025
- Deductive Model Checking CAV 1996
- Symbolic Register Automata CAV 2019
- What's Wrong with On-the-Fly Partial Order Reduction CAV 2019
- Multi-objective Optimization of Long-run Average and Total Rewards TACAS 2021
- Multiparty Session Typing in Java, Deductively TACAS 2023
- Symbolic Automata: Omega-Regularity Modulo Theories POPL 2025