PAT: Process Analysis Toolkit

An Enhanced Simulator, Model Checker and Refinement Checker for Concurrent and Real-time Systems

Monthly archives for December, 2008

Launch PAT after installation option is added.

By following Aaron Stebner’s WebLog, we allow user to launch PAT after installation. We have updated the script to make it better.

  • Download this script.
  • To include this script as a post-build step in a Visual Studio setup/deployment project, you can use the following steps:

0 Download the sample script and extract the contents to the directory that contains the Visual Studio setup project you are working on.
Note: You should end up with the file EnableLaunchApplication.js in the same directory as the .vdproj file for your setup project. The rest of these steps will not work correctly if you do not put EnableLaunchApplication.js in the correct location, so be careful about this step.

1 Open the file EnableLaunchApplication.js in a text editor such as notepad, locate the variable at the top of the file that is set to the value WindowsApplication1.exe, and change it to the name of the EXE that is in your setup that you want to launch when the MSI is done installing
2 Open the project in Visual Studio
3 Press F4 to display the Properties window
4 Click on the name of your setup/deployment project in the Solution Explorer
5 Click on the PostBuildEvent item in the Properties window to cause a button labeled “…” to appear
6 Click on the “…” button to display the Post-build Event Command Line dialog
7 Copy and paste the following command line into the Post-build event command line text box:
cscript.exe “$(ProjectDir)EnableLaunchApplication.js” “$(BuiltOuputPath)”
8 Save your project, Build your project in Visual Studio

21, Dec, 2008: PAT 1.3.1 is released!

Parallel Model Checking for LTL properties are implemented.
If you are using Multi-core CPU, this feature allows you to speed-up the verification to several times.

10, Dec, 2008: PAT 2.0 Beta is released!

The beta version of PAT 2.0 is released with generic archetecture:
1 The lastest version of CSP module is integrated in PAT 2.0.
2 The newly developed web service module is implemented in PAT 2.0.

Go to Download to download it.

04, Dec, 2008: PAT User Manual is online!

The user manual is available online.
The CHM version can be downloaded HERE.
If you are interested in the technical details of PAT, refer to our Publications.