The following pages link to (Q4484482):
Displaying 9 items.
- Parameterised verification for multi-agent systems (Q253980) (← links)
- Approximated parameterized verification of infinite-state processes with global conditions (Q1039841) (← links)
- View abstraction for systems with component identities (Q2024368) (← links)
- Automated formal analysis and verification: an overview (Q2871577) (← links)
- Model Checking Parameterized Systems (Q3176379) (← links)
- Automatic Verification of Directory-Based Consistency Protocols (Q3646250) (← links)
- Monotonic Abstraction in Parameterized Verification (Q4982082) (← links)
- Handling Parameterized Systems with Non-atomic Global Conditions (Q5452704) (← links)
- Monotonic Abstraction in Action (Q5505593) (← links)
