Compositional and symbolic model-checking of real-time systems

Proceedings - Real-Time Systems Symposium

Volumn , Issue , 1995, Pages 76-87

  Larsen, Kim G ^a   Pettersson, Paul ^a   Yi, Wang ^a  

^a UPPSALA UNIVERSITY   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; CODES (SYMBOLS); COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER HARDWARE DESCRIPTION LANGUAGES; CONSTRAINT THEORY; FINITE AUTOMATA; GRAPH THEORY; MATHEMATICAL MODELS; STATE SPACE METHODS;

AUTOMATIC VERIFICATION TOOL; COMPOSITIONAL QUOTIENT CONSTRUCTION; MODEL CHECKING; STATE REGION GRAPH TECHNIQUE; SYMBOLIC TECHNIQUE;

REAL TIME SYSTEMS;

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

References (24)