Projet de maquette destiné à illustrer et tester les capacités de l'outil Frama-C, un analyseur statique de code C. Ce dépôt sert de support pour des démonstrations pratiques et des évaluations des fonctionnalités avancées du logiciel.