采用PSL的基于断言的验证

检索

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

采用PSL的基于断言的验证

马　博;韩俊刚

Assertion-based Verification by Using PSL

MA Bo; HAN Jungang

计算机工程 . 2007, (02): 217 -219 . DOI: 10.3969/j.issn.1000-3428.2007.02.076