Efficient Debugging in a Formal Verification Environment
暂无分享,去创建一个
Gila Kamhi | Amitai Irron | Fady Copty | Osnat Weissberg | Nathan P. Kropp | Fady Copty | Osnat Weissberg | Gila Kamhi | Amitai Irron
[1] Kenneth L. McMillan,et al. Symbolic model checking , 1992 .
[2] Moshe Y. Vardi,et al. Prioritized Traversal: Efficient Reachability Analysis for Verification and Falsification , 2000, CAV.
[3] Jae-Young Jang,et al. Formal verification of FIRE: a case study , 1997, DAC.
[4] Moshe Y. Vardi,et al. Evaluating Semi-Exhaustive Verification Techniques for Bug Hunting , 2001, SMC@FLoC.
[5] Randal E. Bryant,et al. Graph-Based Algorithms for Boolean Function Manipulation , 1986, IEEE Transactions on Computers.
[6] Gerard J. Holzmann,et al. On-the-fly model checking , 1996, CSUR.
[7] Kavita Ravi,et al. Efficient fixpoint computation for invariant checking , 1999, Proceedings 1999 IEEE International Conference on Computer Design: VLSI in Computers and Processors (Cat. No.99CB37040).
[8] Ilan Beer,et al. On-the-Fly Model Checking of RCTL Formulas , 1998, CAV.
[9] Tiziano Villa,et al. VIS: A System for Verification and Synthesis , 1996, CAV.
[10] Robert P. Kurshan. Formal verification in a commercial setting , 1997, DAC.
[11] Edmund M. Clarke,et al. Efficient generation of counterexamples and witnesses in symbolic model checking , 1995, DAC '95.
[12] Ilan Beer,et al. RuleBase: an industry-oriented formal verification tool , 1996, DAC '96.