Lab for Automated Reasoning and Analysis LARA

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

Report

 
alloy_in_jahob.txt · Last modified: 2007/07/13 14:45 by lvariu
 
© EPFL 2018 - Legal notice