Model-checking of correctness conditions for concurrent objects

Proceedings - Symposium on Logic in Computer Science

Volumn , Issue , 1996, Pages 219-228

  Alur, Rajeev ^a   McMillan, Ken ^a   Peled, Doron ^a  

^a LUCENT TECHNOLOGIES   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION; FORMAL LANGUAGES; PROBLEM SOLVING; SEQUENTIAL MACHINES; THEOREM PROVING;

MODEL CHECKING PROBLEM; SEMICOMMUTATIVE ALPHABET;

COMPUTATION THEORY;

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

References (10)