Jérôme Boillot

According to our database, Jérôme Boillot authored at least 2 papers between 2023 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Mopsa-C: Improved Verification for C Programs, Simple Validation of Correctness Witnesses (Competition Contribution).

Raphaël Monat, Marco Milanese, Francesco Parolini, Jérôme Boillot, Abdelraouf Ouadjaout, Antoine Miné

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

2023

Symbolic Transformation of Expressions in Modular Arithmetic.

Jérôme Boillot, Jérôme Feret

Proceedings of the Static Analysis - 30th International Symposium, 2023