我的随笔

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

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

CBMC使用注意事项

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

软件测试工具集锦

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

Sireum/Kiasan的初步使用

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

转：JUnit使用指南

zztian 2012-02-16 20:20 阅读:928 评论: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 阅读:157 评论:0 推荐:0

Object Biography: Concurrency Testing Subjects

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

JPF学习一

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