Trace based reachability verification for statecharts.

Kumar Madhukar Ravindra Metta Ulka Shrotri R. Venkatesh

Published in: FormaliSE@ICSE (2013)

Keyphrases

model checker
model checking
formal methods
test generation
formal verification
state space
concurrent systems
agent oriented
real world
temporal logic
conceptual modeling
execution traces
data sets
verification method
static analysis
description language
object oriented
dynamic programming
machine learning