Parametrized System Verification with Guard Strengthening and Parameter Abstraction

2005.

Cited by: 42|Bibtex|Views0|
Keywords:
verificationabstractionparametrized systemscache coherence

Abstract:

We give complete mathematial foundations for the method, recently developed by Chou, Mannava, and Park, for verifying safety properties of cache coherence pro- tocols. The method employs a specific form of counterexample-guided abstraction refinement and is originally described on worked-out examples of the German and FLASH protocols. We ...More

Code:

Data:

Your rating :
0

 

Tags
Comments