Login / Signup
Clément Pascutto
ORCID
Publication Activity (10 Years)
Years Active: 2021-2022
Publications (10 Years): 2
Top Topics
Formal Analysis
Real World
Piecewise Linear
User Friendly
Top Venues
RV
</>
Publications
</>
Jean-Christophe Filliâtre
,
Clément Pascutto
Optimizing Prestate Copies in Runtime Verification of Function Postconditions.
RV
(2022)
Jean-Christophe Filliâtre
,
Clément Pascutto
Ortac: Runtime Assertion Checking for OCaml (Tool Paper).
RV
(2021)