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):
Displayed 3 items.
- Computable fixpoints in well-structured symbolic model checking (Q2248074) (← 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)