Analyzing Alloy Formulas using an SMT Solver: A Case Study.

Aboubakr Achraf El Ghazi Mana Taghdiri

Published in: CoRR (2015)

Keyphrases

search space
case study
data sets
test bed
boolean formula
database
information retrieval
knowledge base