首页>
外国专利>
EXPLORING THE BEHAVIOUR OF A SYSTEM DESIGN
EXPLORING THE BEHAVIOUR OF A SYSTEM DESIGN
展开▼
机译:探索系统设计的行为
展开▼
页面导航
摘要
著录项
相似文献
摘要
A method for exploring the behavior of a design model, the method including the steps of providing a design model represented as a Finite State Machine (FSM). The method further includes the step of providing a path specification of interest. The method further includes the step of exploring the behavior of the design in order to find and present a scenario in the design that meets the path specification.
展开▼