cbmc
Code verifier
A tool for verifying the correctness and safety of C++ programs
C Bounded Model Checker
848 stars
40 watching
263 forks
Language: C++
last commit: 9 days ago
Linked from 1 awesome list
ben-marshall/awesome-open-hardware-verificationRelated projects:
| Repository | Description | Stars |
|---|---|---|
 verifytests/verify.diffplex | A tool for comparing and verifying the differences between two text files using a diffplex algorithm. | 10 |
| verifytests/verify.icsharpcode.decompiler | A verification tool for .NET assemblies decompiled by ICSharpCode.Decompiler | 8 |
 d-m-bailey/cvc | A tool that checks CDL netlists for errors in circuit validity | 21 |
 bcoudurier/ffmbc | A customizable FFmpeg implementation optimized for broadcast and professional video processing tasks | 192 |
 vbpf/ebpf-verifier | A tool that verifies the correctness of eBPF programs using an abstract interpretation approach | 391 |
 flcdrg/verify.mongodb | A tool for verifying MongoDB operations and recording their execution | 5 |
 smackers/smack | A software verification toolchain that translates C code into intermediate language and verifies its assertions using model checking and abstract interpretation | 431 |
 bedrocksystems/brick | Formalization of C++ logic for verifying concurrent programming | 69 |
 s-weigand/flake8-nb | A tool to check Python code quality in Jupyter notebooks. | 28 |
 bkoelman/csharpguidelinesanalyzer | A tool that analyzes C# code against predefined coding guidelines and reports diagnostics | 145 |
 p-ranav/criterion | A microbenchmarking library for measuring performance of C++ code | 211 |
 meducation/clarifier | A tool for improving code readability and maintainability by providing functionality to clarify complex code structures | 3 |
| verifytests/verify.brighter | Adds support for verifying a specific command processing framework | 2 |
 dcoeurjo/lowdiscbluenoise | A C++ library that generates 2D point sets with low discrepancy and Blue Noise properties. | 110 |
 phpcsstandards/php_codesniffer | Detects and enforces coding standards in PHP code to ensure consistency and quality. | 969 |