Title :
Δ-trees of a graph: introduction and formal definition
Author :
Davis, Jason K. ; Macii, Enrico
Author_Institution :
Coordinated Sci. Lab., Illinois Univ., Urbana, IL, USA
Abstract :
The authors introduce and formally define the Δ-trees of a graph. They have used Δ-trees in developing formal techniques for hardware verification based on the exploration of the graph structure of interacting finite state machines and ω-regular automata
Keywords :
trees (mathematics); ω-regular automata; FSM; delta trees; finite state machines; graph structure; hardware verification; Automata; Circuits; Hardware; Informatics; Reachability analysis; Terminology; Tree graphs;
Conference_Titel :
VLSI, 1993. 'Design Automation of High Performance VLSI Systems', Proceedings., Third Great Lakes Symposium on
Conference_Location :
Kalamazoo, MI
Print_ISBN :
0-8186-3430-8
DOI :
10.1109/GLSV.1993.224469
