基本信息

---

下载

   友情提示：（无需注册或充值，赞助后即可获取资源下载链接）

---

     嘿，亲！知识可是无价之宝呢，但咱这精心整理的资料也耗费了不少心血呀。小小地破费一下，绝对物超所值哦！如有下载和支付问题，请联系我们QQ(微信同号)：813200300

本次赞助数额为： 2 元　

支付宝支付

微信支付

   源码介绍

---

Java PathFinder源码

.
├── jpf-nas-master
│   ├── bin
│   │   ├── jpf
│   │   ├── jpf.bat
│   │   ├── test
│   │   └── test.bat
│   ├── build.xml
│   ├── eclipse
│   │   ├── AntBuilder.launch
│   │   ├── run-jpf-nas.launch
│   │   └── test-jpf-nas.launch
│   ├── jpf.properties
│   ├── lib
│   │   ├── google-api-translate-java-0.97.jar
│   │   └── json-20090211.jar
│   ├── nbproject
│   │   ├── ide-file-targets.xml
│   │   └── project.xml
│   ├── src
│   │   ├── classes
│   │   │   └── java
│   │   │       ├── io
│   │   │       │   └── OutputStreamWriter.java
│   │   │       └── net
│   │   │           ├── InetAddress.java
│   │   │           ├── InetSocketAddress.java
│   │   │           ├── ServerSocket.java
│   │   │           ├── Socket.java
│   │   │           ├── SocketImpl.java
│   │   │           ├── SocketInputStream.java
│   │   │           └── SocketOutputStream.java
│   │   ├── examples
│   │   │   ├── knockKnockExample
│   │   │   │   ├── KnockKnockClient.java
│   │   │   │   ├── KnockKnockExample.jpf
│   │   │   │   ├── KnockKnockProtocol.java
│   │   │   │   └── KnockKnockServer.java
│   │   │   ├── serverClient
│   │   │   │   ├── Client.java
│   │   │   │   ├── MultiClient.jpf
│   │   │   │   ├── MultiClientServer.java
│   │   │   │   ├── Server.java
│   │   │   │   ├── injectedFailures.jpf
│   │   │   │   └── serverClient.jpf
│   │   │   ├── simpleServerClient
│   │   │   │   ├── Client.java
│   │   │   │   ├── MltiTrdClient.java
│   │   │   │   ├── Server.java
│   │   │   │   ├── injectedFailures.jpf
│   │   │   │   ├── multiThdClientServer.jpf
│   │   │   │   └── simpleServerClient.jpf
│   │   │   └── translate
│   │   │       ├── Client.java
│   │   │       ├── Translator.java
│   │   │       ├── Worker.java
│   │   │       └── translate.jpf
│   │   ├── main
│   │   │   └── nas
│   │   │       ├── NasVM.java
│   │   │       ├── java
│   │   │       │   └── net
│   │   │       │       ├── choice
│   │   │       │       │   ├── NasThreadChoice.java
│   │   │       │       │   └── Scheduler.java
│   │   │       │       └── connection
│   │   │       │           ├── Connection.java
│   │   │       │           ├── ConnectionException.java
│   │   │       │           └── ConnectionManager.java
│   │   │       └── util
│   │   │           └── test
│   │   │               └── TestNasJPF.java
│   │   ├── peers
│   │   │   └── nas
│   │   │       └── java
│   │   │           └── net
│   │   │               ├── JPF_java_net_ServerSocket.java
│   │   │               ├── JPF_java_net_Socket.java
│   │   │               ├── JPF_java_net_SocketInputStream.java
│   │   │               └── JPF_java_net_SocketOutputStream.java
│   │   └── tests
│   │       └── net
│   │           └── nas
│   │               └── SocketTest.java
│   └── tools
│       ├── RunJPF.jar
│       └── RunTest.jar
└── 好例子网_jpf-nas-master.zip

31 directories, 56 files