Feasibility of model checking software requirements: A case study

COMPASS - Proceedings of the Annual Conference on Computer Assurance

Volumn , Issue , 1996, Pages 77-88

  Sreemani, Tirumale ^a   Atlee, Joanne M ^a  

^a UNIVERSITY OF WATERLOO   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER HARDWARE DESCRIPTION LANGUAGES; SOFTWARE PROTOTYPING; THEOREM PROVING;

MODEL CHECKING; SYMBOLIC MODEL VERIFIER;

COMPUTER SOFTWARE SELECTION AND EVALUATION;

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

References (33)