Modeling, Optimization and Computation for Software Verification.

Mardavij Roozbehani Eric Feron Alexandre Megretski

Published in: HSCC (2005)

Keyphrases

global optimization
optimization algorithm
evolution strategy
optimization problems
optimization process
optimization method
discrete optimization
modeling framework
modeling method
optimization model
optimization methods
database
hidden markov models
special case
case study
website
databases