SYSTEM AND METHOD FOR FORMAL VERIFICATION OF STATECHARTS

摘要

A system and method formally verifies a statechart. In an embodiment, an UML statechart is translated into an XML-based intermediate language. The XML intermediate language is then translated into a target format, and the target format is verified with a verification tool.