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>.