Association for Computing Machinery (ACM) - On Computing the Transitive Closure of a State Transition Relation

30th ACM/IEEE Design Automation Conference

Author(s): Y. Matsunaga ; P.C. McGeer ; R.K. Brayton
Publisher: Association for Computing Machinery (ACM)
Publication Date: 1 January 1993
Conference Location: Dallas, TX, USA, USA
Conference Date: 14 June 2014
Page(s): 260 - 265
ISBN (Paper): 0-89791-577-1
ISSN (Paper): 0738-100X
DOI: 10.1145/157485.164884

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... View More