EXPLORING THE BEHAVIOUR OF A SYSTEM DESIGN

摘要

A method for exploring the behavior of a design model, the method comprising the steps of: (a) providing a design model represented as a Finite State Machine (FSM); (b) providing a path specification of interest; (c) exploring the behavior of the design in order to find and present a scenario in the design that meets the path specification.