Events and constraints: A graphical editor for capturing logic requirements of programs

Proceedings of the IEEE International Conference on Requirements Engineering

Volumn , Issue , 2001, Pages 14-22

  Smith, M H ^a   Holzmann, G J ^a   Etessami, K ^a  

^a LUCENT TECHNOLOGIES   (United States)

Author keywords

Model checking; Requirements; Software verification; Testing

Indexed keywords

COMPUTER GRAPHICS; LOGIC PROGRAMMING; PROGRAM DEBUGGING; REQUIREMENTS ENGINEERING;

MODEL CHECKING TOOLS;

COMPUTER AIDED SOFTWARE ENGINEERING;

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

References (13)

1. A graphical interval logic for specifying concurrent systems
2. An until hierarchy for temporal logic
3. An improvement in formal verification
4. Not checking for closure under stuttering
5. The model checker Spin
6. Automating software feature verification
7. Proving the correctness of multiprocess programs
8. An algorithmic approach for checking closure requirements of temporal logic specifications and w-regular languages
9. The temporal logic of programs
10. Specification of system-level hardware designs using timing diagrams