Specification Construction Using Behaviours, Equivalences, and SMT Solvers.

Paul C. Attie Fadi A. Zaraket Mohamad Noureddine Farah El-Hariri

Published in: CoRR (2013)

Keyphrases

connected components
modulo theories
high level
formal specification
specification language
construction process
database
data sets
databases
learning algorithm
case study
relational algebra
sat instances
statistical machine translation
constraint solver