Differences
This shows you the differences between two versions of the page.
alloy_in_jahob [2007/06/21 10:16] lvariu created |
alloy_in_jahob [2007/07/13 14:45] lvariu |
||
---|---|---|---|
Line 1: | Line 1: | ||
This project consists in finding and implementing a mapping that permits generation of Alloy models from Jahob's datatype. The goal is to construct a bug finder based on SAT by coupling Alloy to Jahob. | This project consists in finding and implementing a mapping that permits generation of Alloy models from Jahob's datatype. The goal is to construct a bug finder based on SAT by coupling Alloy to Jahob. | ||
+ | |||
+ | === Project code === | ||
+ | Code {{sav-alloy.tgz|}} | ||
+ | |||
+ | === Report === | ||
+ | Report {{sav-report.pdf|}} |