Predicate Abstraction of RTL Verilog Descriptions Using Constraint Logic Programming
暂无分享,去创建一个
Yang Guo | Sikun Li | Tun Li | GongJie Liu
[1] Alex Groce,et al. Modular verification of software components in C , 2003, 25th International Conference on Software Engineering, 2003. Proceedings..
[2] Helmut Veith,et al. SAT Based Predicate Abstraction for Hardware Verification , 2003, SAT.
[3] Sriram K. Rajamani,et al. Boolean Programs: A Model and Process for Software Analysis , 2000 .
[4] Daniel Kroening,et al. Predicate Abstraction of ANSI-C Programs Using SAT , 2004, Formal Methods Syst. Des..
[5] Thomas A. Henzinger,et al. Software Verification with BLAST , 2003, SPIN.
[6] Michael J. Maher,et al. Constraint Logic Programming: A Survey , 1994, J. Log. Program..
[7] Shuvendu K. Lahiri,et al. Zapato: Automatic Theorem Proving for Predicate Abstraction Refinement , 2004, CAV.
[8] Hassen Saïdi,et al. Construction of Abstract State Graphs with PVS , 1997, CAV.
[9] Sriram K. Rajamani,et al. Automatically validating temporal safety properties of interfaces , 2001, SPIN '01.
[10] Yang Guo,et al. Functional vectors generation for RT-level Verilog descriptions based on path enumeration and constraint logic programming , 2005, 8th Euromicro Conference on Digital System Design (DSD'05).
[11] David Detlefs,et al. Simplify: a theorem prover for program checking , 2005, JACM.
[12] Daniel Kroening,et al. Predicate abstraction and refinement techniques for verifying Verilog , 2004 .
[13] Kenneth L. McMillan,et al. Applying SAT Methods in Unbounded Symbolic Model Checking , 2002, CAV.
[14] Daniel Kroening,et al. Verification of SpecC using predicate abstraction , 2004, Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2004. MEMOCODE '04..
[15] Raimund Ubar,et al. Test Synthesis with Alternative Graphs , 1996, IEEE Des. Test Comput..
[16] Edmund M. Clarke,et al. Model Checking , 1999, Handbook of Automated Reasoning.
[17] Sharad Malik,et al. Chaff: engineering an efficient SAT solver , 2001, Proceedings of the 38th Design Automation Conference (IEEE Cat. No.01CH37232).
[18] Cormac Flanagan,et al. Predicate abstraction for software verification , 2002, POPL '02.