Using 'test model-checking' to verify the Runway-PA8000 memory model

Annual ACM Symposium on Parallel Algorithms and Architectures

Volumn , Issue , 1998, Pages 231-239

  Ghughal, R ^a   Mokkedem, A ^a   Nalumasu, R ^a   Gopalakrishnan, G ^a  

^a UNIVERSITY OF UTAH   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DESIGN; MATHEMATICAL MODELS; MULTIPROCESSING SYSTEMS; TESTING;

TEST MODEL-CHECKING;

DATA STORAGE EQUIPMENT;

EID: 0031628128     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/277651.277689     Document Type: Conference Paper

References (28)