What’s new in PAT 3.0.0
In this version, we have done a complete system redesign for better extensibility.
PAT’s UI is complete re-implemented with new text editor with improved syntax highlighting and input intellesense.
The performance of almost all assertions is improved compared with old version.
Beta version of PRTS Module is released. This module combines Probability and Real-Time for modeling Real-time probabilistic systems.
Important Note: PAT 3.0.0 is upgrated to .NET framework 3.5. To run PAT, you need to install .NET framework 3.5, which can be downloaded here.