Uppaal/DMC- Abstraction-Based Heuristics for Directed Model Checking
Abstract elided by the publisher.
Related papers
- Analysis and Verification of Quantum Communication Protocols in UPPAAL CAV 2026
- Verified Model Checking of Timed Automata TACAS 2018
- Distributed Markov Chains VMCAI 2015
- Automated Analysis of AODV Using UPPAAL TACAS 2012
- On Memory-Block Traversal Problems in Model-Checking Timed-Systems TACAS 2000
- Compositional Abstraction for Timed Systems with Broadcast Synchronization CAV 2025
- Fast Directed Model Checking Via Russian Doll Abstraction TACAS 2008
- Software model-checking as cyclic-proof search POPL 2022