Formal methods for analyzing the completeness of an assertion suite against a high-level fault model
暂无分享,去创建一个
Ansuman Banerjee | Pallab Dasgupta | P. P. Chakrabarti | Chunduri Rama Mohan | Limor Fix | Prasenjit Basu | Sayantan Das
[1] Amir Pnueli,et al. On the synthesis of a reactive module , 1989, POPL '89.
[2] Stephan Merz,et al. Model Checking , 2000 .
[3] Timothy Kam,et al. Coverage estimation for symbolic model checking , 1999, DAC '99.
[4] Robert P. Kurshan,et al. A Practical Approach to Coverage in Model Checking , 2001, CAV.
[5] Franco Fummi,et al. On the use of a high-level fault model to check properties incompleteness , 2003, First ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2003. MEMOCODE '03. Proceedings..