Popular repositories Loading

1. WhyR WhyR Public

   An annotation and verification tool for LLVM IR.

   C++ 5

2. annotationsforall annotationsforall Public

   Public repository of formal specifications for libraries

   C 4 1

3. AnnotationsForAll.github.io AnnotationsForAll.github.io Public

   AnnotationsForAll website

   HTML

4. CodeSonarFramacPlugin CodeSonarFramacPlugin Public

   Plugin to integrate Frama-C with Codesonar

   Python