我的随笔

开机进入GRUB不要慌，命令行也可启动Linux

zztian 2019-01-18 18:01 阅读:60274 评论:0 推荐:1

CBMC使用注意事项

zztian 2012-03-15 09:29 阅读:2139 评论:0 推荐:0

软件测试工具集锦

zztian 2012-03-13 20:34 阅读:134 评论:0 推荐:0

Sireum/Kiasan的初步使用

zztian 2012-02-17 15:53 阅读:390 评论:0 推荐:0

转：JUnit使用指南

zztian 2012-02-16 20:20 阅读:926 评论:0 推荐:0

Invariant Checking - Java Examples Handbook

zztian 2012-02-14 11:33 阅读:288 评论:0 推荐:0

Object Biography: XML-security

zztian 2012-02-13 22:11 阅读:158 评论:0 推荐:0

Object Biography: Cruise Control, Elevator, and Ordered Set

zztian 2012-02-13 21:55 阅读:155 评论:0 推荐:0

Object Biography: Concurrency Testing Subjects

zztian 2012-02-13 21:23 阅读:219 评论:0 推荐:0

JPF学习一

zztian 2011-12-23 17:29 阅读:1020 评论:0 推荐:0