Source code of N-PAT¶
The compilation of N-PAT is similar to other standard C# application.
Open the solution with you .NET IDE (e.g., MonoDevelop v7.3.3, Visual Studio for Mac) and build both NPAT and LINK. PAT assemblies are located under the
LINK/lib/ directory. You need to copy them in the build’s output directory.
N-PAT credits the authors of the following projects.
|Enhanced Simulator, Model Checker and Refinement Checker
|Library for constructing parsers
|Llibrary for processing command-line parameters
|Cross platform .NET IDE
|Open source ECMA CLI, C# and .NET implementation