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...

Fuld beskrivelse

Bibliografiske detaljer

Principais autores:	Gianpiero Cabodi, Paolo Enrico Camurati, Marco Palena, Paolo Pasini
Format:	Artigo
Sprog:	Inglês
Udgivet:	IEEE 2024-01-01
Serier:	IEEE Access
Fag:	Boolean satisfiability (SAT) hardware model checking formal verification bounded model checking Craig’s interpolants
Online adgang:	https://ieeexplore.ieee.org/document/10643065/
Tags:	Tilføj Tag Ingen Tags, Vær først til at tagge denne postø!