加载中…
2011-11-02
Platform Dependent Verification: On Engineering Verification Tools for 21st Century
Luboš BrimJiří Barnat
文献摘要
The paper overviews recent developments in platform-dependent explicit-state LTL model checking.
讨论
0讲解博客
生成讲解博客的中文版本
AI智能校验
生成AI智能校验的中文版本