资源列表
lbt-1.2.2.tar
- 在模型检测中将LTL公式转化成等价的自动机的c++实现-This piece of software provides a C++ implementation for an algorithm that converts a linear temporal logic formula to a generalised Büchi automaton
Mcafee_VSE_RULE
- Mcafee VSE配置资料，设置规则。-Mcafee VSE configuration information, set the rules.
gmer
- ger,一个很好的安全检测工具，检测系统有没有被修改过。-ger, a very good tool for safety testing, detection systems have been modified.
Untangle
- untangle manual in chinease
CPUused
- CPU利用率组件示例程序，此示例程序还实现了动态菲屏功能(每次启动程序都会看到不同的菲屏显示效果)等功能，检测CPU利用率功能前，请先正确注册组件。 注册语句如下： regsvr32 组件名(如: c:\\CPUuse.dll)-CPU utilization component sample application, this sample program also implements the dynamic Philippine-screen function (each t
arpmim.tar
- 数据包测试程序,能够一对一,多队一,和所有对一-Packet test program can be one on one, multi-team one, and all of a
pc-lint.v8.00e
- pc lint C语言静态检测工具。非常实用的静态检测工具。可以检查MISRA规范等。-pc lint C language static detection tools. Very useful tool for static testing. Can check the MISRA norms.
rbot-0.3.2-fix1-public
- RBOT most complete and working edition available on the internet.
weplab-0.1.5.tar
- Weplab是一个从教育视角审查WEP加密安全性的无线网络工具。它从几次攻击中可以估计出每一个点最小的安全需求。-Weplab is a tool to review the security of WEP encryption in wireless networks from an educational point of view. Several attacks are available so it can be measured the efectiveness and minimu
ipv6-ms
- Document, hot Document,IPv6
ISchool_Exam
- ISchool随机抽题考试系统是一套轻量级在线考试系统，开发理念：能用，够用，好用-ISchool random question test system is a set of lightweight online examination system, development concept: can be used, enough, easy to use
NTPClock
- 時間校正軟體，可設定校正時間，自動線上校正-ntp clock