A New Approach to Verify Statechart Specifications for Reactive Systems.

Yuchang Mo Xinmin Yang

Published in: Int. J. Softw. Eng. Knowl. Eng. (2008)

Keyphrases

reactive systems
model checking
temporal logic
information flow
formal methods
control flow
petri net
software testing
transition systems
test cases
real time systems
state machines
real world
artificial intelligence
software engineering