Formal verification of a snoop-based cache coherence protocol using symbolic model checking

1999 ◽  
Author(s):  
S. Srinivasan ◽  
P.S. Chhabra ◽  
P.K. Jaini ◽  
A. Aziz ◽  
L. John
Keyword(s):  
Model Checking ◽  
Formal Verification ◽  
Cache Coherence ◽  
Symbolic Model Checking ◽  
Symbolic Model ◽  
Cache Coherence Protocol

Formal Verification of an Avionics Application using Abstraction and Symbolic Model Checking

1999 ◽  
pp. 150-173 ◽  
Author(s):  
Tom Bienmüller ◽  
Udo Brockmeyer ◽  
Werner Damm ◽  
Gert Döhmen ◽  
Claus Eßmann ◽  
...  
Keyword(s):  
Model Checking ◽  
Formal Verification ◽  
Symbolic Model Checking ◽  
Symbolic Model
Sign in / Sign up

Export Citation Format

Share Document