|
马上注册,结交更多好友,享用更多功能,让你轻松玩转社区。
您需要 登录 才可以下载或查看,没有账号?注册
x
有兴趣的朋友可以了解一下,C++用什么思想来做验证的!
第一章: I n t r o d u c t i o n
第二章 : Wh y C + + ?
第三章: OOP, C++, and Verification
第四章 : A L a y e r e d Ap p r o a c h
第五章 : T e a l B a s i c s
第六章: Truss: A Standard V e r i f i c a t i o n F r amewo r k
第七章 : T r u s s F l ow
第八章: T r u s s E x amp l e
第九章 : T h in k in g OOP
第十章: D e s i g n in g wi t h OOP
第十一章 : OOP Classes
第十二章: OOP C o n n e c t i o n s
…………………… |
|