G. Cabodi

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A theorem prover based approach for SAT-based model checking certification	2026-01-21	Paper
Interpolation with guided refinement: revisiting incrementality in SAT-based unbounded model checking Formal Methods in System Design	2023-05-08	Paper
Model checking speculation-dependent security properties: abstracting and reducing processor models for sound and complete verification	2019-10-14	Paper
A 7/2-approximation algorithm for the maximum duo-preservation string mapping problem	2017-10-17	Paper
Optimization techniques for Craig interpolant compaction in unbounded model checking Formal Methods in System Design	2015-10-30	Paper
Exploiting target enlargement and dynamic abstraction within mixed BDD and SAT invariant checking	2013-09-20	Paper
A BMC-formulation for the scheduling problem in highly constrained hardware systems	2013-08-30	Paper
Benchmarking a model checker for algorithmic improvements and tuning for performance Formal Methods in System Design	2012-09-27	Paper
Formal Methods for Hardware Verification Lecture Notes in Computer Science	2007-05-02	Paper
scientific article; zbMATH DE number 1903372 (Why is no real title available?)	2003-05-01	Paper
scientific article; zbMATH DE number 1796128 (Why is no real title available?)	2002-09-04	Paper

Research outcomes over time

This page was built for person: G. Cabodi