Digitisation and Full Abstraction for Dense-Time Model Checking
No abstract available.
Related papers
- Tensor Probabilistic Model Checking of Finite-Horizon Markov Chains CAV 2026
- Real-Time Logics: Fictitious Clock as an Abstraction of Dense Time TACAS 1997
- Model Checking via Reachability Testing for Timed Automata TACAS 1998
- Dynamic N: M Fine-Grained Structured Sparse Attention Mechanism PPoPP 2023
- Full Abstraction of a Real-Time Denotational Semantics for an Occam-like Language POPL 1987
- Binary Reachability Analysis of Pushdown Timed Automata with Dense Clocks CAV 2001
- Incremental and Complete Bounded Model Checking for Full PLTL CAV 2005
- RAT-CAT-SAT: Model Checking Memory Consistency Models OOPSLA 2026