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
Mopsa-C: Improved Verification for C Programs, Simple Validation of Correctness Witnesses (Competition Contribution)
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)
Mopsa-C: Modular Domains and Relational Abstract Interpretation for C Programs (Competition Contribution)
From Python to the Income Tax Code: Applying Formal Methods to Real-World Systems
The Mopsa static analysis framework and its participation at SV-Comp 2023
Cite
×