Temporal Logic of Stochastic Actions for Verification of Probabilistic Systems

PROBABILISTICROBOTICS一本机器人的好书

PRxml表示形式，关于模型之间的相互转化

第三版 Sebastian THRUN Stanford University Stanford, CA Wolfram BURGARD University of Freiburg Freiburg

systemverilog for verification

《SystemVerilog for verification》, Springer 2006年7月出版，2008年9月第二版。中文版为《SystemVerilog验证 -- 测试平台编写指南》，科学

SystemVerilog for Verification teaches the reader how to use the power of the new SystemVerilog test

SystemVerilog for Verification teaches the reader how to use the power of the new SystemVerilog test

This book is the first one you should read to learn the SystemVerilog verification language construc

ACMfellow的R.Alur和T.A.Henzinger的课件

C_C++ based functional verification framework using the SystemC verification library