C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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