Lab for Automated Reasoning and Analysis LARA

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

alloy_in_jahob [2007/06/21 10:16]
lvariu created
alloy_in_jahob [2007/07/13 14:45] (current)
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|}}
 
alloy_in_jahob.txt · Last modified: 2007/07/13 14:45 by lvariu