Better is better than well: on efficient verification of infinite-state systems

Proceedings - Symposium on Logic in Computer Science

Volumn , Issue , 2000, Pages 132-140

  Abdulla, Parosh Aziz ^a   Nylen, Aletta ^a  

^a UPPSALA UNIVERSITY   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

CONSTRAINT EXPLOSION PROBLEM; INFINITE STATE SYSTEM; MODEL CHECKING; QUASI ORDERING THEORY; SYMBOLIC MODEL CHECKING;

ALGORITHMS; COMMUNICATION CHANNELS (INFORMATION THEORY); CONSTRAINT THEORY; ERROR ANALYSIS; MATHEMATICAL MODELS; NETWORK PROTOCOLS; PROBLEM SOLVING;

AUTOMATA THEORY;

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

References (20)