Formal verification of AADL behavior models: a feasibility investigation.

Hong P. Liu David P. Gluch

Published in: ACM Southeast Regional Conference (2009)

Keyphrases

formal verification
probabilistic model
complex systems
neural network
artificial intelligence
orders of magnitude
model checking
statistical models
program slicing