Pages that link to "Item:Q2503044"
From MaRDI portal
The following pages link to A general approach to comparing infinite-state systems with their finite-state specifications (Q2503044):
Displaying 5 items.
- Characteristic invariants in Hennessy-Milner logic (Q2182678) (← links)
- Computable fixpoints in well-structured symbolic model checking (Q2248074) (← links)
- A generic framework for checking semantic equivalences between pushdown automata and finite-state automata (Q2409577) (← links)
- Characteristic formulae for fixed-point semantics: a general framework (Q2883115) (← links)
- Symbolic Verification of Communicating Systems with Probabilistic Message Losses: Liveness and Fairness (Q3613069) (← links)
