我的随笔

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

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

CBMC使用注意事项

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

软件测试工具集锦

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

Sireum/Kiasan的初步使用

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

转：JUnit使用指南

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

Invariant Checking - Java Examples Handbook

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

Object Biography: XML-security

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

Object Biography: Cruise Control, Elevator, and Ordered Set

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

Object Biography: Concurrency Testing Subjects

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

JPF学习一

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