QQ客服 官方微博 反馈留言

浏览/检索结果: 共5条，第1-5条 帮助 限定条件 内容类型：会议论文     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 IscasMc: A web-based probabilistic model checker 会议论文 19th International Symposium on Formal Methods, FM 2014, Singapore, Singapore, May 12, 2014 - May 16, 2014 Hahn, Ernst Moritz (1); Li, Yi (2); Schewe, Sven (3); Turrini, Andrea (1); Zhang, Lijun (1) 收藏  |  浏览/下载：24/0  |  提交时间：2014/12/16 Modelling Peterson Mutual Exclusion Algorithm in DVE language and verifying LTL properties 会议论文 Chinese Culture Univ, Taipei, TAIWAN, JUN 27-29, 2014 作者:  Long Shigong;  Yang Hanwen 收藏  |  浏览/下载：2/0  |  提交时间：2019/12/31 evaluation of sat-based bounded model checking of actl properties 会议论文 1st IEEE/IFIP International Symposium on Theoretical Aspects of Softwave Engineering, Shanghai, PEOPLES R CHINA, JUN 06-08, Xu Yanyan; Chen Wei; Xu Liang; Zhang Wenhui 收藏  |  浏览/下载：10/0  |  提交时间：2011/06/29 Algorithms  Computer aided software engineering  Data storage equipment  Error detection  Mathematical models  State space methods   sat-based verification of ltl formulas 会议论文 11th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2006)/5th International Workshop on Parallel and Distributed Methods in Verification (PDMC, Bonn, GERMANY, AUG 26-27, Zhang Wenhui 收藏  |  浏览/下载：13/0  |  提交时间：2011/06/29 Approximation theory  Error analysis  Formal methods  Model checking   model checking with sat-based characterization of actl formulas 会议论文 9th International Conference on Formal Engineering Methods (ICFEM 2007), Boca Raton, FL, NOV 14-15, Zhang Wenhui 收藏  |  浏览/下载：9/0  |  提交时间：2011/06/29 Error detection  Mathematical models  Problem solving  Semantics