Ivette: A Modern GUI for Frama-C

Loïc Correnson. Ivette: A Modern GUI for Frama-C. In Paolo Masci 0001, Cinzia Bernardeschi, Pierluigi Graziani, Mario Koddenbrock, Maurizio Palmieri, editors, Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops - AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30, 2022, Revised Selected Papers. Volume 13765 of Lecture Notes in Computer Science, pages 116-131, Springer, 2022. [doi]

Abstract

Abstract is missing.