Source code of N-PAT¶
Download¶
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.
Credits¶
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 |