Back to Results
First PageMeta Content
Mathematical logic / Theoretical computer science / Formal methods / Constraint programming / Alloy / Massachusetts Institute of Technology / Z notation / Predicate logic / SMT / Predicate / Constraint satisfaction problem / Satisfiability modulo theories


Alloy Modeling Language meets SMT-LIB Forrest Cinelli, Kyle McCormick, Dan Dougherty WPI NSF Supportand
Add to Reading List

Document Date: 2018-06-13 06:07:43


Open Document

File Size: 254,85 KB

Share Result on Facebook
UPDATE