Patterns in property specifications for finite-state verification

Proceedings - International Conference on Software Engineering

Volumn , Issue , 1999, Pages 411-420

  Dwyer, Matthew B ^a   Avrunin, George S ^a   Corbett, James C ^a  

^a KANSAS STATE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE SELECTION AND EVALUATION; ERROR DETECTION;

CONCURRENCY; FINITE-STATE VERIFICATION;

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 0032667112     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/302405.302672     Document Type: Article

References (22)