The following pages link to (Q4551152):
Displayed 18 items.
- Parameterised verification for multi-agent systems (Q253980) (← links)
- Synthesis of large dynamic concurrent programs from dynamic specifications (Q346790) (← links)
- Verification of multi-linked heaps (Q439948) (← links)
- Parametrized invariance for infinite state processes (Q493122) (← links)
- Lost in abstraction: monotonicity in multi-threaded programs (Q729809) (← links)
- Sound verification procedures for temporal properties of infinite-state systems (Q832273) (← links)
- Approximated parameterized verification of infinite-state processes with global conditions (Q1039841) (← links)
- Model checking and abstraction to the aid of parameterized systems (a survey) (Q1886449) (← links)
- Formal verification of mobile robot protocols (Q2359768) (← links)
- Compositional analysis for verification of parameterized systems (Q2368952) (← links)
- Local Symmetry and Compositional Verification (Q2891426) (← links)
- Model Checking Parameterized Systems (Q3176379) (← links)
- Liveness by Invisible Invariants (Q3613081) (← links)
- Automatic Verification of Directory-Based Consistency Protocols (Q3646250) (← links)
- (Q5240148) (← links)
- Handling Parameterized Systems with Non-atomic Global Conditions (Q5452704) (← links)
- Proving Ptolemy Right: The Environment Abstraction Framework for Model Checking Concurrent Systems (Q5458319) (← links)
- Monotonic Abstraction in Action (Q5505593) (← links)