PAT——一种高性能软件验证工具

【实例简介】
通信顺序进程（communicating sequential proces）验证软件，打开csp格式文件的软件，对开发的软件进行验证的高性能工具。
【实例截图】
【核心代码】
PAT350
├── Agreement.rtf
├── Antlr3.Runtime.dll
├── CUDDHelper.dll
├── de
│   ├── PAT 3.resources.dll
│   └── PAT.Common.resources.dll
├── Docs
│   ├── Help.chm
│   └── pat.sty
├── Examples
│   └── UML Examples
│   ├── ATM.xmi
│   ├── basic.xmi
│   ├── fork&Join.xmi
│   └── orthogonal.xmi
├── ExtDLL
│   └── place your dll files here.txt
├── help.ico
├── Interop.Microsoft.Office.Interop.Excel.dll
├── Interop.VBIDE.dll
├── ja
│   ├── PAT 3.resources.dll
│   └── PAT.Common.resources.dll
├── Lib
│   ├── ccrewrite.exe
│   ├── Microsoft.Contracts.dll
│   ├── PAT.Lib.Array.cs
│   ├── PAT.Lib.Array.dll
│   ├── PAT.Lib.Board.cs
│   ├── PAT.Lib.Board.dll
│   ├── PAT.Lib.CMethodDemo.cs
│   ├── PAT.Lib.CMethodDemo.dll
│   ├── PAT.Lib.Contract.Set.cs
│   ├── PAT.Lib.Contract.Set.dll
│   ├── PAT.Lib.DBM.cs
│   ├── PAT.Lib.DBM.dll
│   ├── PAT.Lib.DispersionGame.cs
│   ├── PAT.Lib.DispersionGame.dll
│   ├── PAT.Lib.EntryList.cs
│   ├── PAT.Lib.EntryList.dll
│   ├── PAT.Lib.Example.cs
│   ├── PAT.Lib.Example.dll
│   ├── PAT.Lib.Extinction.cs
│   ├── PAT.Lib.Extinction.dll
│   ├── PAT.Lib.Firewire_tree.cs
│   ├── PAT.Lib.Firewire_tree.dll
│   ├── PAT.Lib.HardwareAPIs.cs
│   ├── PAT.Lib.HardwareAPIs.dll
│   ├── PAT.Lib.HashTable.cs
│   ├── PAT.Lib.HashTable.dll
│   ├── PAT.Lib.Lift.cs
│   ├── PAT.Lib.Lift.dll
│   ├── PAT.Lib.List.cs
│   ├── PAT.Lib.List.dll
│   ├── PAT.Lib.Msmie.cs
│   ├── PAT.Lib.Msmie.dll
│   ├── PAT.Lib.Prob.cs
│   ├── PAT.Lib.Prob.dll
│   ├── PAT.Lib.Queue.cs
│   ├── PAT.Lib.Queue.dll
│   ├── PAT.Lib.SerializableList.cs
│   ├── PAT.Lib.SerializableList.dll
│   ├── PAT.Lib.Set.cs
│   ├── PAT.Lib.Set.dll
│   ├── PAT.Lib.Stack.cs
│   ├── PAT.Lib.Stack.dll
│   ├── PAT.Lib.Synapse.cs
│   ├── PAT.Lib.Synapse.dll
│   ├── PAT.Lib.VibePuzzle.cs
│   ├── PAT.Lib.VibePuzzle.dll
│   ├── Plus.dll
│   └── Plus.zip
├── License.dll
├── Microsoft.Contracts.dll
├── Microsoft.Msagl.dll
├── Microsoft.Msagl.Drawing.dll
├── Microsoft.Msagl.GraphViewerGdi.dll
├── Microsoft.VisualStudio.TextTemplating.dll
├── Modules
│   ├── CSP
│   │   ├── PAT.Module.CSP.dll
│   │   └── Syntax.xshd
│   ├── LTS
│   │   ├── PAT.Module.LTS.dll
│   │   └── Syntax.xshd
│   ├── PCSP
│   │   ├── PAT.Module.PCSP.dll
│   │   └── Syntax.xshd
│   ├── place your modules here.txt
│   ├── PRTS
│   │   ├── PAT.Module.PRTS.dll
│   │   └── Syntax.xshd
│   └── RTS
│   ├── PAT.Module.RTS.dll
│   └── Syntax.xshd
├── office.dll
├── PAT3.Console.exe
├── PAT 3.exe
├── PAT 3.ini
├── PAT.Common.dll
├── PAT.Editor.Core.dll
├── PAT.Editor.dll
├── PAT.Editor.Docking.dll
├── PATEnv.bat
├── PAT.Launcher.exe
├── PAT.Launcher.exe.config
├── PAT.Update.exe
├── recents.xml
├── Uninstall.exe
├── VBE6EXT.OLB
├── vi
│   ├── PAT 3.resources.dll
│   └── PAT.Common.resources.dll
├── zh-CHS
│   ├── PAT 3.resources.dll
│   └── PAT.Common.resources.dll
└── zh-CHT
├── PAT 3.resources.dll
└── PAT.Common.resources.dll

16 directories, 103 files