Stars
The efficient SMT-based context-bounded model checker (ESBMC)
Reads a state transition system and performs property checking
Public snapshots of "ACSL by Example"
Git command to transform staged files using a formatting command
⚙️ A curated list of static analysis (SAST) tools and linters for all programming languages, config files, build tools, and more. The focus is on tools which improve code quality.
uroni / miniz
Forked from mdsitton/minizminiz: Single C source file zlib-replacement library, originally from code.google.com/p/miniz
IC3 reference implementation: a short, simple, fairly competitive implementation of IC3. Read it, tune it, extend it, play with it.
Intermediate language for verification of SCADE programs (including translation)
♻️ formal models and transformations (to be refactored in Haskell)
On the fly syntax checking for GNU Emacs
part of WP7: collects the various activities regarding selecting a tool and formal specification for modeling