Author:
Herdt Vladimir,Grose Daniel,Le Hoang M.,Drechsler Rolf
Cited by
27 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Towards Understanding the Bugs in Solidity Compiler;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11
2. Verification;Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes;2024
3. Hardware and Environment Modeling;Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes;2024
4. A High-Coverage and Efficient Instruction-Level Testing Approach for x86 Processors;IEEE Transactions on Computers;2023-11
5. Minimally Invasive Generation of RISC-V Instruction Set Simulators from Formal ISA Models;2023 Forum on Specification & Design Languages (FDL);2023-09-13