Hardware Model Checking Algorithms and Techniques
The work
| Authors | Gianpiero Cabodi; Paolo Camurati; Marco Palena; Paolo Pasini |
|---|---|
| Editors | |
| Type | article |
| Year | 2024 |
| Citekey | cabodi2024hardware |
Where it appeared
| Published in | Algorithms |
|---|---|
| Publisher | Multidisciplinary Digital Publishing Institute |
| Volume | 17 |
| Issue | 6 |
| Article number | 253 |
| Pages | 253 |
Identifiers
| DOI | 10.3390/a17060253 |
|---|---|
| OpenAlex | W4399493903 |
Access
| Landing page | https://doi.org/10.3390/a17060253 |
|---|
Empty on purpose
| copy |
Related
| Distinct from | biere1999symbolic |
|---|---|
| Distinct from | bryant2018binary |
| Distinct from | burch1992symbolic |
| Distinct from | een2011efficient |
| Distinct from | ferres2025survey |
| Distinct from | holzmann1997model |
| Distinct from | sighireanu2019sl |
| Distinct from | tan2026secic3 |
From OpenAlex, which stores abstracts as an index of words and their positions: what is shown is rebuilt from that, and reads fluently whether or not it is what the author wrote.
Abstract
Digital systems are nowadays ubiquitous and often comprise an extremely high level of complexity. Guaranteeing the correct behavior of such systems has become an ever more pressing need for manufacturers. The correctness of digital systems can be addressed resorting to formal verification techniques, such as model checking. Currently, it is usually impossible to determine a priori the best algorithm to use given a verification task and, thus, portfolio approaches have become the de facto standard in model checking verification suites. This paper describes the most relevant algorithms and techniques, at the foundations of bit-level SAT-based model checking itself.
How it got here
| How it got here | agent via openalex |
|---|---|
| Added | 2026-09-16 07:43 UTC |
| Not denied by | a person 2026-10-29 17:12 UTC |
Filed under
Cite it as
@article{cabodi2024hardware,
title = {Hardware Model Checking Algorithms and Techniques},
author = {Gianpiero Cabodi and Paolo Camurati and Marco Palena and Paolo Pasini},
year = {2024},
journal = {Algorithms},
publisher = {Multidisciplinary Digital Publishing Institute},
volume = {17},
number = {6},
pages = {253},
articleno = {253},
doi = {10.3390/a17060253},
}
This record lives at https://refs.drheap.org/cabodi2024hardware/ and will keep doing so.