Better verification through symmetry

IFIP Transactions A: Computer Science and Technology

Volumn , Issue A-32, 1993, Pages 97-111

  Ip, C Norris ^a   Dill, David L ^a  

^a STANFORD UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER HARDWARE; DATA STORAGE EQUIPMENT; FINITE AUTOMATA; NETWORK PROTOCOLS; SET THEORY; STATE SPACE METHODS; SYSTEMS ANALYSIS;

CACHE COHERENCE PROTOCOL; DATA SATURATION; HARDWARE DESIGN; PROGRAM VERIFICATION; SCALARSET;

COMPUTER HARDWARE DESCRIPTION LANGUAGES;

EID: 0027766867     PISSN: 09265473     EISSN: None     Source Type: Book    
DOI: None     Document Type: Book

References (11)