HySAT: An efficient proof engine for bounded model checking of hybrid systems.

Martin Fränzle Christian Herde

Published in: Formal Methods Syst. Des. (2007)

Keyphrases

hybrid systems
bounded model checking
intelligent systems
black box
computational intelligence
model checking
meta learning
formal verification
neural network
soft computing
artificial intelligence
discrete event
temporal logic
linear temporal logic
orders of magnitude
domain specific
learning algorithm