On-the-Fly Model Checking of RCTL Formulas
暂无分享,去创建一个
[1] Kenneth L. McMillan,et al. Using Formal Verification/Analysis Methods on the Critical Path in System Design: A Case Study , 1995, CAV.
[2] Edmund M. Clarke,et al. Model checking, abstraction, and compositional verification , 1993 .
[3] Ilan Beer,et al. RuleBase: an industry-oriented formal verification tool , 1996, DAC '96.
[4] Amir Pnueli,et al. Checking that finite state concurrent programs satisfy their linear specification , 1985, POPL.
[5] Masahiro Fujita,et al. Bug identification of a real chip design by symbolic model checking , 1994, Proceedings of European Design and Test Conference EDAC-ETC-EUROASIC.
[6] Pierre Wolper. Temporal Logic Can Be More Expressive , 1983, Inf. Control..
[7] Tsuneo Nakata,et al. Forward model checking techniques oriented to buggy designs , 1997, 1997 Proceedings of IEEE International Conference on Computer Aided Design (ICCAD).
[8] Sérgio Vale Aguiar Campos,et al. Symbolic Model Checking , 1993, CAV.
[9] Orna Grumberg,et al. Model checking and modular verification , 1994, TOPL.
[10] Pierre Wolper,et al. An Automata-Theoretic Approach to Automatic Program Verification (Preliminary Report) , 1986, LICS.
[11] Kenneth L. McMillan,et al. Symbolic model checking , 1992 .
[12] Edmund M. Clarke,et al. Another Look at LTL Model Checking , 1994, Formal Methods Syst. Des..