On the verification of temporal properties

IFIP Transactions C: Communication Systems

Volumn , Issue C-16, 1993, Pages 109-124

  Godefroid, Patrice ^a   Holzmann, Gerard J ^a  

^a UNIVERSITY OF LIÈGE   (Belgium)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; COMPUTER PROGRAMMING; FORMAL LANGUAGES; FORMAL LOGIC; GRAPH THEORY; PROGRAM DEBUGGING; PROGRAM DIAGNOSTICS; STATE ASSIGNMENT; STATE SPACE METHODS;

CONCURRENT PROGRAMMING; LINEAR TIME TEMPORAL LOGICS; ON THE FLY VERIFICATION ALGORITHMS; PROGRAM VERIFICATION; REACHABILITY GRAPH; TARJAN'S ALGORITHM;

ALGORITHMS;

EID: 0027713506     PISSN: 0926549X     EISSN: None     Source Type: Book    
DOI: None     Document Type: Book

References (20)