Brief introduction to formal methods

Proceedings of the Custom Integrated Circuits Conference

Volumn , Issue , 1996, Pages 377-380

  Black, Paul E ^a   Hall, Kelly M ^a   Jones, Michael D ^a   Larson, Trent N ^a   Windley, Phillip J ^a  

^a BRIGHAM YOUNG UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DESIGN ERRORS; FORMAL METHODS; FORMAL SPECIFICATION; HARDWARE DESIGN; IMPLEMENTATION MODEL; MATHEMATICAL EXPRESSIONS;

COMPUTATIONAL COMPLEXITY; COMPUTER ARCHITECTURE; COMPUTER SIMULATION; COMPUTER SOFTWARE; ERRORS; FAILURE ANALYSIS; MATHEMATICAL MODELS; SPECIFICATIONS;

FORMAL LOGIC;

EID: 0029723721     PISSN: 08865930     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (11)