AnnotationsForAll

AnnotationsForAll's repositories

An annotation and verification tool for LLVM IR.

Language:C++NOASSERTION500

Public repository of formal specifications for libraries

Language:CNOASSERTION400

AnnotationsForAll website

Language:HTML000

Plugin to integrate Frama-C with Codesonar

Language:Python000