Symbolic protocol verification with queue BDDs

Proceedings - Symposium on Logic in Computer Science

Volumn , Issue , 1996, Pages 198-206

  Godefroid, Patrice ^a   Long, David E ^a  

^a NOKIA RESEARCH CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

QUEUE BINARY DECISION DIAGRAMS (QBDDS); SOFTWARE VERIFICATION; SYMBOLIC PROTOCOL VERIFICATION;

COMPUTATION THEORY; COMPUTER SOFTWARE; DATA STRUCTURES; DECISION THEORY; THEOREM PROVING;

QUEUEING THEORY;

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

References (27)