Loading...
Latest Publications
-
Raphaël Monat, Abdelraouf Ouadjaout, Antoine Miné. Mopsa-C: Modular Domains and Relational Abstract Interpretation for C Programs (Competition Contribution). Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2023), Apr 2023, Paris, France. pp.565-570, ⟨10.1007/978-3-031-30820-8_37⟩. ⟨hal-04077678⟩