Exploiting Functional Dependencies in Finite State Machine Verification

  title={Exploiting Functional Dependencies in Finite State Machine Verification},
  author={C. A. J. van Eijk and Jochen A. G. Jess},
This paper proposes a novel verification method for finite state machines (FSMs), which automatically exploits the relation between the state encodings of the FSMs under consideration. It is based on the detection and utilization of functionally dependent state variables. This significantly extends the ability of the verification method to handle FSMs with similar state encodings. The effectiveness of the proposed method is illustrated by experimental results on well-known benchmarks. 
Highly Cited
This paper has 27 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.


Publications citing this paper.
Showing 1-10 of 18 extracted citations


Publications referenced by this paper.

Similar Papers

Loading similar papers…