Compositional Verification of Quantitative Properties of Statecharts.

Published in: J. Log. Comput. (2001)

Keyphrases

qualitative and quantitative
formal methods
model checking
quantitative and qualitative
desirable properties
conceptual modeling
topological properties
real time
neural network
case study
search algorithm
structural properties
test generation
model checker
verification method