Author:
Beyer Sven,Jacobi Christian,Kröning Daniel,Leinenbach Dirk,Paul Wolfgang J.
Publisher
Springer Science and Business Media LLC
Subject
Information Systems,Software
Reference49 articles.
1. The VAMP project. Website: http://www-wjp.cs.uni-sb.de/projects/verification
2. Berg, C.: Formal verification of an IEEE floating point adder. Master’s Thesis, Saarland University, Germany (2001)
3. Berg, C., Jacobi, C.: Formal verification of the VAMP floating point unit. In: Proceedings of the 11th CHARME, vol. 2144 of LNCS, pp. 325–339. Springer, Heidelberg (2001)
4. Berg, C., Jacobi, C., Kröning, D.: Formal verification of a basic circuits library. In: IASTED International Conference on Applied Informatics. ACTA Press (2001)
5. Bevier, W.R., Hunt, W.A., Moore, J.S., Young, W.D.: An approach to systems verification. J. Autom. Reason. 5, 411–428 (1989)
Cited by
37 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Verification-Driven Design for Asynchronous VLSI;2023 28th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC);2023-07-16
2. Validation of Abstract Side-Channel Models for Computer Architectures;Computer Aided Verification;2020
3. Scaling symbolic evaluation for automated verification of systems code with Serval;Proceedings of the 27th ACM Symposium on Operating Systems Principles;2019-10-27
4. Verified compilation on a verified processor;Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation;2019-06-08
5. Physical Addressing on Real Hardware in Isabelle/HOL;Interactive Theorem Proving;2018