Improving Bounded Model Checking Exploiting Interpolation-Based Learning and Strengthening
Bounded Model Checking (BMC) is one of the most prominent approaches used as a falsification engine, capable of identifying counterexamples of bounded length, in a scalable and sustainable way. Nevertheless, in the context of a portfolio-based verification suite, BMC can benefit from potential inter...
Đã lưu trong:
| Những tác giả chính: | , , , |
|---|---|
| Định dạng: | Artigo |
| Ngôn ngữ: | Inglês |
| Được phát hành: |
IEEE
2024-01-01
|
| Loạt: | IEEE Access |
| Những chủ đề: | |
| Truy cập trực tuyến: | https://ieeexplore.ieee.org/document/10643065/ |
| Các nhãn: |
Không có thẻ, Là người đầu tiên thẻ bản ghi này!
|