publications

2024

  1. Mopsa-C: Improved Verification for C Programs, Simple Validation of Correctness Witnesses (Competition Contribution)
    Raphaël Monat, Marco Milanese, Francesco Parolini, and 3 more authors
    In Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part III , 2024
  2. Generation of Violation Witnesses by Under-Approximating Abstract Interpretation
    Marco Milanese, and Antoine Miné
    In Verification, Model Checking, and Abstract Interpretation - 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part I , 2024

2022

  1. Local Completeness Logic on Kleene Algebra with Tests
    Marco Milanese, and Francesco Ranzato
    In Static Analysis - 29th International Symposium, SAS 2022, Auckland, New Zealand, December 5-7, 2022, Proceedings , 2022