Pages that link to "Item:Q1886449"
From MaRDI portal
The following pages link to Model checking and abstraction to the aid of parameterized systems (a survey) (Q1886449):
Displaying 20 items.
- Parameterised verification for multi-agent systems (Q253980) (← links)
- Parametrized invariance for infinite state processes (Q493122) (← links)
- An automatic abstraction technique for verifying featured, parameterised systems (Q947791) (← links)
- Parameterized model checking of networks of timed automata with Boolean guards (Q1989334) (← links)
- View abstraction for systems with component identities (Q2024368) (← links)
- A counter abstraction technique for verifying properties of probabilistic swarm systems (Q2124442) (← links)
- Directed reachability for infinite-state systems (Q2233488) (← links)
- Finite reasons for safety (Q2351397) (← links)
- Compositional analysis for verification of parameterized systems (Q2368952) (← links)
- An approach to the verification of symmetric parameterized distributed systems (Q2498278) (← links)
- Towards a Thread-Local Proof Technique for Starvation Freedom (Q2814127) (← links)
- A type reduction theory for systems with replicated components (Q2881070) (← links)
- Parameterized verification of many identical probabilistic timed processes (Q2963938) (← links)
- Keeping a Crowd Safe: On the Complexity of Parameterized Verification (Invited Talk). (Q2965467) (← links)
- Liveness by Invisible Invariants (Q3613081) (← links)
- Proving the Refuted: Symbolic Model Checkers as Proof Generators (Q5187831) (← links)
- View abstraction -- a tutorial (invited paper) (Q5240148) (← links)
- Algebraic Methodology and Software Technology (Q5313005) (← links)
- Model Checking for Action Abstraction (Q5452711) (← links)
- Thread-modular counter abstraction: automated safety and termination proofs of parameterized software by reduction to sequential program verification (Q6661749) (← links)
