What causes a system to satisfy a specification?.

Hana Chockler Joseph Y. Halpern Orna Kupferman

Published in: ACM Trans. Comput. Log. (2008)

Keyphrases

high level
neural network
business rules
database
data sets
image processing
data model
user defined
formal specification
formal methods
operational semantics