Sign in
Equivalence Checking of Two Statechart Specifications.
Myung-Hwan Park
Ki-Seok Bang
Jin-Young Choi
Inhye Kang
Published in:
IEEE International Workshop on Rapid System Prototyping (2000)
Keyphrases
</>
test cases
delay insensitive
high level
finite state machines
control flow
real world
formal specification
software testing
real time
neural network
data mining
specification language
equivalence relation
written in natural language