Application of constraints to formal verification and artificial intelligence.

Miroslav N. Velev John Franco

Published in: Ann. Math. Artif. Intell. (2014)

Keyphrases

formal verification
artificial intelligence
model checking
software engineering
constraint programming
data sets
case based reasoning
computational intelligence
open source
intelligent systems
cognitive science
constrained optimization
automated verification