Author:
Arons Tamarah,Elster Elad,Fix Limor,Mador-Haim Sela,Mishaeli Michael,Shalev Jonathan,Singerman Eli,Tiemeyer Andreas,Vardi Moshe Y.,Zuck Lenore D.
Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. Lecture Notes in Computer Science;R. Alur,1998
2. Ball, T., Rajamani, S.K.: The SLAM project: debugging system software via static analysis. In: POPL 2002, pp. 1–3 (2002)
3. Currie, D.W., Hu, A.J., Rajan, S., Fujita, M.: Automatic formal verification of DSP software. In: DAC 2000, pp. 130–135 (2000)
4. Clarke, E.M., Kroening, D., Yorav, K.: Behavioral consistency of C and Verilog programs using bounded model checking. In: DAC 2003, pp. 368–371 (2003)
5. Cyrluk, D.: Microprocessor Verification in PVS: A Methodology and Simple Example. Technical Report SRI-CSL-93-12, Menlo Park, CA (1993)
Cited by
21 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. PolyMiR: Polynomial Formal Verification of the MicroRV32 Processor;Proceedings of the 18th ACM International Symposium on Nanoscale Architectures;2023-12-18
2. Polynomial Formal Verification of a Processor: A RISC-V Case Study;2023 24th International Symposium on Quality Electronic Design (ISQED);2023-04-05
3. Requirement specification and model-checking of a real-time scheduler implementation;Proceedings of the 28th International Conference on Real-Time Networks and Systems;2020-06-09
4. Verifying x86 instruction implementations;Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs;2020-01-20
5. Software in a Hardware View;Formal System Verification;2017-06-22