Interpolation-Based Learning for Bounded Model Checking

Anissa Kheireddine; Etienne Renault; Souheib Baarir; Souheib Baarir

Research.Publish.Connect.

*Please fill out at least one Field. *Value must be an number!

Title:
ISBN:
Year:
Acronym:
Subject:

Advanced Search Proceedings Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Title:
Author:
Affiliation:
Subject:

Advanced Search Papers Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Name:
Affiliation:
Country:
Conference:
Subject:

Advanced Search Authors Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Name:
Country:
Subject:

Advanced Search Affiliations Search

If you're looking for an exact phrase use quotation marks on text fields.

Proceedings

Proceedings Search *Please fill out at least one Field. *Value must be an number!

Title:
ISBN:
Year:
Acronym:
Subject:

Advanced Search Proceedings Search

If you're looking for an exact phrase use quotation marks on text fields.

Papers

Papers Search *Please fill out at least one Field.

Title:
Author:
Affiliation:
Subject:

Advanced Search Papers Search

If you're looking for an exact phrase use quotation marks on text fields.

Authors

Authors Search *Please fill out at least one Field.

Name:
Affiliation:
Country:
Conference:
Subject:

Advanced Search Authors Search

If you're looking for an exact phrase use quotation marks on text fields.

Advanced Search

Paper

Interpolation-Based Learning for Bounded Model Checking

Topics: Formal Methods for SSE; Safety, Security and Compliance

In Proceedings of the 19th International Conference on Evaluation of Novel Approaches to Software Engineering ENASE - Volume 1, 605-614, 2024 , Angers, France

Authors: Anissa Kheireddine ¹ ; Etienne Renault ² and Souheib Baarir ^{1

;

3}

Affiliations: ¹ LIP6, Sorbonne Université, Paris, France ; ² SiPearl, Maisons-Laffitte, France ; ³ Université Paris-Nanterre, Nanterre, France

Keyword(s): Bounded Model Checking, SAT, Craig Interpolation, Parallelism, Pre-Processing.

Abstract: In this paper, we propose an interpolation-based learning approach to enhance the effectiveness of solving the bounded model checking problem. Our method involves breaking down the formula into partitions, where these partitions interact through a reconciliation scheme leveraging the power of the interpolation theorem to derive relevant information. Our approach can seamlessly serve two primary purposes: (1) as a preprocessing engine in sequential contexts or (2) as part of a parallel framework within a portfolio of CDCL solvers.

CC BY-NC-ND 4.0

Guest: Register as new SciTePress user now for free.

SciTePress user: please login.

My Papers

You are not signed in, therefore limits apply to your IP address 3.144.253.195

In the current month:

Recent papers: 100 available of 100 total

2⁺ years older papers: 200 available of 200 total

Paper citation in several formats:

Kheireddine, A.; Renault, E. and Baarir, S. (2024). Interpolation-Based Learning for Bounded Model Checking. In Proceedings of the 19th International Conference on Evaluation of Novel Approaches to Software Engineering - ENASE; ISBN 978-989-758-696-5; ISSN 2184-4895, SciTePress, pages 605-614. DOI: 10.5220/0012703500003687

@conference{enase24,
author={Anissa Kheireddine. and Etienne Renault. and Souheib Baarir.},
title={Interpolation-Based Learning for Bounded Model Checking},
booktitle={Proceedings of the 19th International Conference on Evaluation of Novel Approaches to Software Engineering - ENASE},
year={2024},
pages={605-614},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0012703500003687},
isbn={978-989-758-696-5},
issn={2184-4895},
}

TY - CONF

JO - Proceedings of the 19th International Conference on Evaluation of Novel Approaches to Software Engineering - ENASE
TI - Interpolation-Based Learning for Bounded Model Checking
SN - 978-989-758-696-5
IS - 2184-4895
AU - Kheireddine, A.
AU - Renault, E.
AU - Baarir, S.
PY - 2024
SP - 605
EP - 614
DO - 10.5220/0012703500003687
PB - SciTePress