The following pages link to Computer Aided Verification (Q5900680):
Displaying 19 items.
- Parameterised verification for multi-agent systems (Q253980) (← links)
- Symbolic reachability analysis and maximally permissive entrance control for globally synchronized templates (Q680540) (← links)
- Don't care words with an application to the automata-based approach for real addition (Q1028730) (← links)
- Approximated parameterized verification of infinite-state processes with global conditions (Q1039841) (← links)
- Regular model checking with regular relations (Q2140498) (← links)
- Computable fixpoints in well-structured symbolic model checking (Q2248074) (← links)
- Tree regular model checking: a simulation-based approach (Q2500700) (← links)
- Learning to verify branching time properties (Q2642669) (← links)
- Automated formal analysis and verification: an overview (Q2871577) (← links)
- Model Checking Parameterized Systems (Q3176379) (← links)
- Fair Termination for Parameterized Probabilistic Concurrent Systems (Q3303911) (← links)
- Bottom-Up Shape Analysis (Q3392926) (← links)
- Automatic Verification of Directory-Based Consistency Protocols (Q3646250) (← links)
- Monotonic Abstraction in Parameterized Verification (Q4982082) (← links)
- (Q5240148) (← links)
- Handling Parameterized Systems with Non-atomic Global Conditions (Q5452704) (← links)
- Monotonic Abstraction in Action (Q5505593) (← links)
- Parameterized verification under TSO with data types (Q6535379) (← links)
- Second-order hyperproperties (Q6535541) (← links)
