Source code of N-PAT


The source code of N-PAT is available here (under MIT License).

Compilation Instructions

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.

PAT Enhanced Simulator, Model Checker and Refinement Checker
Sprache Library for constructing parsers
ManyConsole Llibrary for processing command-line parameters
MonoDevelop Cross platform .NET IDE
Mono Open source ECMA CLI, C# and .NET implementation