Ivette: A Modern GUI for Frama-C.

Loïc Correnson

Published in: SEFM Workshops (2022)

Keyphrases

graphical user interface
user friendly
user interface
graphical user interfaces
information systems
relational databases
database
data sets
databases
knowledge base
genetic programming