The following pages link to Computer Aided Verification (Q5312894):
Displayed 6 items.
- Approximated parameterized verification of infinite-state processes with global conditions (Q1039841) (← links)
- Abstraction Refinement for Quantified Array Assertions (Q3392917) (← links)
- Verifying Reference Counting Implementations (Q3617768) (← 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)