Lab for Automated Reasoning and Analysis LARA

This is an old revision of the document!


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.

 
alloy_in_jahob.1182413805.txt.gz · Last modified: 2007/06/21 10:16 by lvariu
 
© EPFL 2018 - Legal notice