Skip to main content

Paper accepted at ICCAD'25

· One min read

We are proud that our paper "BMCFuzz: Hybrid Verification of Processors by Synergistic Integration of Bound Model Checking and Fuzzing", has been accepted at International Conference on Computer-Aided Design(ICCAD) - 2025.

@INPROCEEDINGS{bmcfuzzshen,
  author={Shidong Shen and Jinyu Liu and Weizhi Feng and Fu Song and Zhilin Wu},
  booktitle={2025 IEEE/ACM International Conference On Computer Aided Design (ICCAD)}, 
  title={BMCFuzz: Hybrid Verification of Processors by Synergistic Integration of Bound Model Checking and Fuzzing}, 
  year={2025},
  doi={10.1109/ICCAD66269.2025.11240887},
  url={https://doi.org/10.1109/ICCAD66269.2025.11240887},
}