Compositional verification of real-time systems

Proceedings - Symposium on Logic in Computer Science

Volumn , Issue , 1994, Pages 458-465

  Chang, Edward ^a   Manna, Zohar ^a   Pnueli, Amir ^a  

^a STANFORD UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTATIONAL COMPLEXITY; COMPUTER HARDWARE DESCRIPTION LANGUAGES; DATA STRUCTURES; DESCRIBING FUNCTIONS; FORMAL LOGIC; FUNCTION EVALUATION; LARGE SCALE SYSTEMS; MATHEMATICAL MODELS; MATHEMATICAL OPERATORS; SYSTEMS ANALYSIS; THEOREM PROVING;

COMPOSITION RULES; COMPOSITIONAL VERIFICATION; FISCHER'S MUTUAL EXCLUSION ALGORITHM; METRIC TEMPORAL LOGIC; TIMED TRANSITION MODELS;

REAL TIME SYSTEMS;

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

References (9)