Installation and Usage¶
N-PAT v1.0 binaries are avaiable here.
Alternatively, you may compile it from its source code, see Source code of N-PAT.
N-PAT is a C# application that requires the Microsoft’s .NET framework to run. N-PAT has been developed and tested using Mono – an open-source and cross-platform implementation of Microsoft’s .NET Framework.
N-PAT is a command-line tool. It supports the following commands.
This command can be used to obtain the result of a nested model checking problem.
NPAT.exe eval <options>
|The full path of the nested model checking problem file.
See section Language Reference to learn how to formulate a nested model checking problem.
Example: Ubuntu 19.10¶
Download and unzip PAT binaries
Install Mon and required assemblies:
sudo apt install mono-complete sudo apt install libmono-system-windows-forms4.0-cil
Execute commands using Mono. E.g.:
mono NPAT.exe eval -f network/network.nm