Practical method for verifying event-driven software

Proceedings - International Conference on Software Engineering

Volumn , Issue , 1999, Pages 597-607

  Holzmann, Gerard J ^a   Smith, Margaret H ^a  

^a LUCENT TECHNOLOGIES   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE SELECTION AND EVALUATION; INTERFACES (COMPUTER);

EVENT DRIVEN SOFTWARE; MODEL CHECKING; SOFTWARE TESTING; SOFTWARE VERIFICATION;

SOFTWARE ENGINEERING;

EID: 0032660360     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Article

References (17)