FMAlloyAnalysis

Alloy source code for FM analysis.
Run each file individually to check the results of FM analysis using the various encoding used in research.
The name of the file is in the format: <year of publication><author first name>.

Name		Name	Last commit message	Last commit date
Latest commit History 2 Commits
2005HWang.als		2005HWang.als
2007Gheyi-G-Theory.als		2007Gheyi-G-Theory.als
2007Gheyi-R-Theory.als		2007Gheyi-R-Theory.als
2008Tanizaki.als		2008Tanizaki.als
2010Nakajima.als		2010Nakajima.als
2011Finkel.als		2011Finkel.als
2012Jaime.als		2012Jaime.als
2012Ripon.als		2012Ripon.als
2013Huang.als		2013Huang.als
2014Ajoudanian_original.als		2014Ajoudanian_original.als
2014Ajoudanian_with_our_modifications.als		2014Ajoudanian_with_our_modifications.als
README.md		README.md

Provide feedback