Reachability Verification of Rhapsody Statecharts.

Kumar Madhukar Ravindra Metta Priyanka Singh R. Venkatesh

Published in: ICST Workshops (2013)

Keyphrases

model checker
model checking
formal methods
test generation
formal verification
face verification
verification method
temporal logic
state space
test suite
real world
dynamic programming
conceptual modeling
signature verification
asynchronous circuits