The following pages link to (Q4484482):
Displaying 17 items.
- Parameterised verification for multi-agent systems (Q253980) (← links)
- Approximated parameterized verification of infinite-state processes with global conditions (Q1039841) (← links)
- Iterating transducers (Q1858440) (← links)
- View abstraction for systems with component identities (Q2024368) (← links)
- Tree regular model checking: a simulation-based approach (Q2500700) (← links)
- Easy instances for model checking (Q2735980) (← links)
- Automated formal analysis and verification: an overview (Q2871577) (← links)
- Model Checking Parameterized Systems (Q3176379) (← links)
- Efficiency of automata in semi-commutation verification techniques (Q3515458) (← links)
- Practical Efficient Modular Linear-Time Model-Checking (Q3540089) (← 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)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5703778) (← links)
- Computer Aided Verification (Q5900681) (← links)
- Simplifying Alternating Automata for Emptiness Testing (Q6488157) (← links)