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...
Zapisane w:
| Główni autorzy: | , , , |
|---|---|
| Format: | Artigo |
| Język: | Inglês |
| Wydane: |
IEEE
2024-01-01
|
| Seria: | IEEE Access |
| Hasła przedmiotowe: | |
| Dostęp online: | https://ieeexplore.ieee.org/document/10643065/ |
| Etykiety: |
Nie ma etykietki, Dołącz pierwszą etykiete!
|