Tabled resolution+constraints: A recipe for model checking real-time systems

Proceedings - Real-Time Systems Symposium

Volumn , Issue , 2000, Pages 175-184

  Du, Xiaoqun ^a   Ramakrishnan, C R ^a   Smolka, Scott A ^a  

^a STONY BROOK UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; COMPUTER HARDWARE DESCRIPTION LANGUAGES; CONSTRAINT THEORY; LOGIC PROGRAMMING; MATHEMATICAL MODELS;

VERIFICATION TOOL;

REAL TIME SYSTEMS;

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

References (33)