Efficient model checking via the equational μ-calculus

Proceedings - Symposium on Logic in Computer Science

Volumn , Issue , 1996, Pages 304-312

  Bhat, Girish ^a   Cleaveland, Rance ^a  

^a NORTH CAROLINA STATE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER SIMULATION; DIFFERENTIATION (CALCULUS); FORMAL LANGUAGES; FORMAL LOGIC;

BINARY DECISION DIAGRAMS (BDD); TEMPORAL LOGIC MODEL CHECKING;

COMPUTATION THEORY;

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

References (30)