GitHub repository: Frama-C/open-source-case-studies
Primary language: C
Created: 2017-06-02T11:41:52Z
Description: Open-source case studies for Frama-C (mainly EVA/Value Analysis plug-in)