Login / Signup
Jérôme Boillot
ORCID
Publication Activity (10 Years)
Years Active: 2023-2024
Publications (10 Years): 2
Top Topics
Provably Correct
Intermediate Level
Computer Programs
Linear Transformation
Top Venues
SAS
TACAS (3)
</>
Publications
</>
Raphaël Monat
,
Marco Milanese
,
Francesco Parolini
,
Jérôme Boillot
,
Abdelraouf Ouadjaout
,
Antoine Miné
Mopsa-C: Improved Verification for C Programs, Simple Validation of Correctness Witnesses (Competition Contribution).
TACAS (3)
(2024)
Jérôme Boillot
,
Jérôme Feret
Symbolic Transformation of Expressions in Modular Arithmetic.
SAS
(2023)