Hacker News
Linking pages
- The C Bounded Model Checker: Criminally Underused | Hey There Buddo! https://www.philipzucker.com/cbmc_tut/ 127 comments
- GitHub - analysis-tools-dev/static-analysis: ⚙️ 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. https://github.com/analysis-tools-dev/static-analysis 112 comments
- GitHub - oz123/awesome-c: A curated list of awesome C frameworks, libraries, resources and other shiny things. Inspired by all the other awesome-... projects out there. https://github.com/kozross/awesome-c 54 comments
- A gentle introduction to automated reasoning - Amazon Science https://www.amazon.science/blog/a-gentle-introduction-to-automated-reasoning 51 comments
- GitHub - analysis-tools-dev/static-analysis: ⚙️ 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. https://github.com/mre/awesome-static-analysis#c 21 comments
- Crux: Introducing Our New Open-Source Tool for Software Verification - Galois, Inc. http://galois.com/blog/2020/10/crux-introducing-our-new-open-source-tool-for-software-verification/ 0 comments
- GitHub - REMath/literature_review: Survey of program analysis research with a focus on machine code https://github.com/REMath/literature_review 0 comments
- Turbocharging Rust Code Verification | Kani Rust Verifier Blog https://model-checking.github.io/kani-verifier-blog/2023/08/03/turbocharging-rust-code-verification.html 0 comments
- GitHub - aws/aws-iot-device-sdk-embedded-C: SDK for connecting to AWS IoT from a device using embedded C. https://github.com/aws/aws-iot-device-sdk-embedded-C 0 comments
Related searches:
Search whole site: site:www.cprover.org
Search title: CBMC: Bounded Model Checking for Software
See how to search.