All

4 repositories

klever
Public
Read-only mirror of the Klever Git repository
c static-analysis verification specification model-checking formal-methods software-verification formal-verification formal-specification
Python
•
Apache License 2.0
•12•21•0•1•Updated Nov 8, 2024Nov 8, 2024
aspectator
Public
Read-only mirror of the Aspectator Git repository
aspect-oriented-programming
GNU General Public License v2.0
•1•2•0•0•Updated Nov 30, 2022Nov 30, 2022
cif
Public
Read-only mirror of the CIF Git repository
instrumentation aspect-oriented-programming gcc-compiler weaving gcc-cross-compiler c-backend source-code-query
C
•
GNU General Public License v3.0
•2•5•0•0•Updated Aug 8, 2022Aug 8, 2022
framac
Public
Read-only mirror of the AstraVer Toolset Git repository
OCaml
•0•0•0•0•Updated Mar 29, 2022Mar 29, 2022