Raphaël Monat
Raphaël Monat
Home
Publications
Ph.D
Talks
Software
Community Service
Students
Posts
Light
Dark
Automatic
Page not found
Perhaps you were looking for one of these?
Latest
Formalizing Date Arithmetic and Statically Detecting Ambiguities for the Law
Mopsa-C: Improved Verification for C Programs, Simple Validation of Correctness Witnesses (Competition Contribution)
Mopsa-C: Improved Verification for C Programs, Simple Validation of Correctness Witnesses (Competition Contribution)
Lessons Learned Along the Path of an Early Career Researcher
Formalizing Date Arithmetic and Statically Detecting Ambiguities for the Law
Formalizing Date Arithmetic and Statically Detecting Ambiguities for the Law
My current approach to low-carbon research
A Multilanguage Static Analysis of Python/C Programs with Mopsa
AEx AVoCAT: Automated Verification of Catala programs
Mopsa-C: Modular Domains and Relational Abstract Interpretation for C Programs (Competition Contribution)
Cite
×