Installation and Usage

Installation

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.

Usage

N-PAT is a command-line tool. It supports the following commands.

Evaluate

This command can be used to obtain the result of a nested model checking problem.

NPAT.exe eval <options>
-f The full path of the nested model checking problem file.

See section Language Reference to learn how to formulate a nested model checking problem.

Parse

This command can be used to check if a nested model checking problem is well-formed.

NPAT.exe parse <options>
-f 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

  1. Download and unzip PAT binaries

  2. Install Mon and required assemblies:

    sudo apt install mono-complete
sudo apt install libmono-system-windows-forms4.0-cil

  3. Execute commands using Mono. E.g.:

    mono NPAT.exe eval -f network/network.nm