Pages that link to "Item:Q5458319"
From MaRDI portal
The following pages link to Proving Ptolemy Right: The Environment Abstraction Framework for Model Checking Concurrent Systems (Q5458319):
Displaying 10 items.
- Parameterised verification for multi-agent systems (Q253980) (← links)
- Parametrized invariance for infinite state processes (Q493122) (← links)
- Multi-parameterised compositional verification of safety properties (Q498394) (← links)
- \(\text{Para}^2\): parameterized path reduction, acceleration, and SMT for reachability in threshold-guarded distributed algorithms (Q1696580) (← links)
- Parameterized model checking of networks of timed automata with Boolean guards (Q1989334) (← links)
- Parametrized verification diagrams: temporal verification of symmetric parametrized concurrent systems (Q2408742) (← links)
- An Abstraction Technique for Parameterized Model Checking of Leader Election Protocols: Application to FTSP (Q3303889) (← links)
- Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed Algorithms (Q5175774) (← links)
- Proving Ptolemy Right: The Environment Abstraction Framework for Model Checking Concurrent Systems (Q5458319) (← links)
- Monotonic Abstraction in Action (Q5505593) (← links)
