place your modules under this folder
PAT——一种高性能软件验证工具
5星 · 超过95%的资源 需积分: 46 180 浏览量
2015-06-03
20:29:00
上传
评论
收藏 10.53MB ZIP 举报 
PAT——一种高性能软件验证工具 （103个子文件） 
PATEnv.bat 141B Help.chm 4.05MB PAT.Launcher.exe.config 144B PAT.Lib.DBM.cs 20KB PAT.Lib.Example.cs 13KB PAT.Lib.Lift.cs 12KB PAT.Lib.EntryList.cs 10KB PAT.Lib.Set.cs 8KB PAT.Lib.Contract.Set.cs 7KB PAT.Lib.Board.cs 5KB PAT.Lib.List.cs 4KB PAT.Lib.Queue.cs 4KB PAT.Lib.VibePuzzle.cs 4KB PAT.Lib.SerializableList.cs 3KB PAT.Lib.DispersionGame.cs 3KB PAT.Lib.HashTable.cs 3KB PAT.Lib.Prob.cs 3KB PAT.Lib.Stack.cs 2KB PAT.Lib.Array.cs 2KB PAT.Lib.Extinction.cs 2KB PAT.Lib.Firewire_tree.cs 1KB PAT.Lib.Msmie.cs 1KB PAT.Lib.Synapse.cs 1KB PAT.Lib.CMethodDemo.cs 979B PAT.Lib.HardwareAPIs.cs 859B PAT.Common.dll 1.98MB PAT.Module.CSP.dll 1.94MB PAT.Editor.Core.dll 1.91MB Interop.Microsoft.Office.Interop.Excel.dll 1.21MB PAT.Module.RTS.dll 1022KB PAT.Module.PRTS.dll 997KB PAT.Module.PCSP.dll 938KB PAT.Module.LTS.dll 736KB CUDDHelper.dll 480KB office.dll 414KB PAT.Editor.Docking.dll 404KB PAT.Editor.dll 348KB PAT 3.resources.dll 339KB PAT 3.resources.dll 336KB PAT 3.resources.dll 333KB PAT 3.resources.dll 333KB PAT 3.resources.dll 333KB Microsoft.Msagl.dll 275KB Microsoft.Msagl.GraphViewerGdi.dll 141KB Microsoft.Msagl.Drawing.dll 100KB Antlr3.Runtime.dll 97KB Microsoft.VisualStudio.TextTemplating.dll 84KB Interop.VBIDE.dll 56KB PAT.Common.resources.dll 34KB Plus.dll 34KB PAT.Common.resources.dll 33KB PAT.Common.resources.dll 32KB PAT.Common.resources.dll 30KB PAT.Common.resources.dll 30KB License.dll 20KB Microsoft.Contracts.dll 16KB Microsoft.Contracts.dll 16KB PAT.Lib.DBM.dll 12KB PAT.Lib.Contract.Set.dll 7KB PAT.Lib.Example.dll 7KB PAT.Lib.EntryList.dll 6KB PAT.Lib.Lift.dll 6KB PAT.Lib.Set.dll 6KB PAT.Lib.Board.dll 6KB PAT.Lib.List.dll 5KB PAT.Lib.Stack.dll 5KB PAT.Lib.SerializableList.dll 5KB PAT.Lib.Queue.dll 5KB PAT.Lib.HashTable.dll 4KB PAT.Lib.Extinction.dll 4KB PAT.Lib.Prob.dll 4KB PAT.Lib.Firewire_tree.dll 4KB PAT.Lib.VibePuzzle.dll 4KB PAT.Lib.DispersionGame.dll 4KB PAT.Lib.Array.dll 3KB PAT.Lib.Msmie.dll 3KB PAT.Lib.CMethodDemo.dll 3KB PAT.Lib.Synapse.dll 3KB PAT.Lib.HardwareAPIs.dll 3KB
PAT 3.exe 4.45MB ccrewrite.exe 1.42MB PAT.Update.exe 202KB PAT.Launcher.exe 94KB Uninstall.exe 44KB PAT3.Console.exe 21KB help.ico 1KB PAT 3.ini 4KB VBE6EXT.OLB 44KB
Agreement.rtf 39KB pat.sty 22KB
place your modules here.txt 36B place your dll files here.txt 25B fork&Join.xmi 5KB orthogonal.xmi 4KB ATM.xmi 4KB basic.xmi 2KB recents.xml 12B Syntax.xshd 11KB Syntax.xshd 11KB Syntax.xshd 10KB共 103 条
- 1
- 2
资源评论
hahahahaji2018-11-05支持一下！！！
SugarRay12018-03-29非常好！！！！
