Exploiting partitioned transition relations for efficient symbolic model checking in CTL

Proceedings of European Design and Test Conference

Volumn , Issue , 1996, Pages 606-

  Casar, Ales ^a   Brezocnik, Zmago ^a   Kapus, Tatjana ^a  

^a UNIVERSITY OF MARIBOR   (Slovenia)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL METHODS; MATHEMATICAL MODELS; STATE SPACE METHODS;

FINITE STATE MACHINES; PARTITIONED TRANSITION RELATIONS;

FINITE AUTOMATA;

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

References (2)