Memory-aware Bounded Model Checking for Linear Hybrid Systems.

Erika Ábrahám Marc Herbstritt Bernd Becker Martin Steffen

Published in: MBMV (2006)

Keyphrases

hybrid systems
bounded model checking
model checking
black box
meta learning
intelligent systems
neural network
computational intelligence
formal verification
linear temporal logic
discrete event
temporal logic
artificial intelligence
soft computing
decision trees
software engineering