Title :
On Computing the Transitive Closure of a State Transition Relation
Author :
Matsunaga, Yusuke ; McGeer, Patrick C. ; Brayton, Robert K.
Author_Institution :
Fujitsu Laboratories, Kawasaki, Japan
Abstract :
We describe a new, recursive-descent procedure for the computation of the transitive closure of a transition relation. This procedure is the classic binary matrix procedure of [1], adapted to a BDD data structure. We demonstrate its efficacy when compared to standard iterative methods.
Keywords :
Automata; Binary decision diagrams; Boolean functions; Convergence; Data structures; Distributed computing; Equations; Iterative methods; Permission; Smoothing methods;
Conference_Titel :
Design Automation, 1993. 30th Conference on
Print_ISBN :
0-89791-577-1
DOI :
10.1109/DAC.1993.203956
