资源列表
cgrasp
- 有c语言编写的最基本的rsat源代码，可以供学习可满足性分析编写者使用，能够学到很多SAT方面的知识
JTIDL63Code
- 韩培友<<IDL可视化分析与应用>>一书的配套完整源代码与误勘表
modelchecking_spin
- 对软件进行可达性测试的软件，并提供源代码，能够有效实施软件测试任务
rsat_2
- 最快速的可满足性分析工具软件，曾经获得比赛的冠军，能够让学习者，学很多的编程技巧
CameraSW
- 这是笔者早年开发的一款用单片机读摄象头图象数据的程序，是用汇编写的，设计思路和程序风格可以借鉴，是笔者的得意之作。
rat_v0.20
- RaT(Radar Tools)--唯一一款IDL语言编写的开源软件(rat_v0.20_binary.tar) 内含所有源代码(rat_v0.20_source.tar)
multiobjectiveoptimization_ga_2
- 在c语言中实现的多目标优化，同时能够上使用者学习研究带来很大的方便
C-sharp2008
- C的命名规则，比较实用，是我自己从网上下下来的，看了以后觉得还不错，拿来与大家一起分享
rat_v0.20_source.tar
- RaT(Radar Tools)--唯一一款IDL语言编写的开源软件(rat_v0.20_binary.tar) 内含所有源代码(rat_v0.20_source.tar)
MiraXTSimp_V1.1
- 多核环境下运行了可满足性分析的工具软件，能够使你充分了解多核编程技术
smd4all
- 这是个PDA的数据备份盘程序，程序中使用了CRC校验法，是笔者过去的一个得意之作。可供学习串口通讯编程使用CRC校验的朋友参考。
18863_ShortSMS
- 以PDU串的形式发送出去的，中文字符以Unicode码来表示，所以在发送中文短消息之前必须首先将中文字符转换为Unicode码