Providing Early Warnings of Specification Problems.

Dustin Hoffman Aditi Tagore Diego Zaccai Bruce W. Weide

Published in: NASA Formal Methods (2014)

Keyphrases

problems involving
high level
np complete
benchmark problems
formal specification
main problems
real time
artificial intelligence
metadata
decision trees
evolutionary algorithm
optimization problems
solving problems
specification language