The following pages link to Computer Aided Verification (Q5312894):
Displaying 14 items.
- An extension of lazy abstraction with interpolation for programs with arrays (Q479820) (← links)
- Multi-parameterised compositional verification of safety properties (Q498394) (← links)
- Approximated parameterized verification of infinite-state processes with global conditions (Q1039841) (← links)
- Counterexample-guided prophecy for model checking modulo the theory of arrays (Q2044196) (← links)
- Specification and verification of concurrent programs through refinements (Q2351261) (← links)
- Predicate Abstraction for Program Verification (Q3176373) (← links)
- Model Checking Parameterized Systems (Q3176379) (← links)
- Abstraction Refinement for Quantified Array Assertions (Q3392917) (← links)
- Verifying Reference Counting Implementations (Q3617768) (← links)
- Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays (Q5043584) (← 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)
- Verification, Model Checking, and Abstract Interpretation (Q5901914) (← links)