klibc Verification with Frama-C and WP
☆11May 5, 2014Updated 12 years ago
Alternatives and similar repositories for klibc_framac_wp
Users that are interested in klibc_framac_wp are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Generation of mutant programs☆20Oct 31, 2018Updated 8 years ago
- Towards a formally verified, tiny and permissively licensed C standard library, using Frama-C (fork of Baselibc/Klibc)☆12Jun 17, 2019Updated 7 years ago
- Isabelle LLVM Code Generator and Refinement☆30Oct 19, 2026Updated last week
- Fully proved small C functions (examples for verification course).☆17Jun 26, 2017Updated 9 years ago
- ☆26Aug 23, 2024Updated 2 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- StarExec is a cross community logic solving service☆19Jun 1, 2025Updated last year
- Floating-point SMTLIB benchmarks☆10Jul 17, 2026Updated 3 months ago
- Github Action for running the Eva plug-in and producing a SARIF report☆11Oct 20, 2021Updated 5 years ago
- Crystal bindings to D-Bus☆13May 26, 2021Updated 5 years ago
- Simple IRB-over DRb for poking inside your servers☆12Jun 27, 2012Updated 14 years ago
- Robot navigation algorithms implemented in SPARK☆12Sep 19, 2014Updated 12 years ago
- C source MCDC instrumentation and coverage report generation tool☆12Dec 18, 2023Updated 2 years ago
- Code and dataset for the paper "IsarStep: a Benchmark for High-level Mathematical Reasoning"☆12Mar 15, 2021Updated 5 years ago
- Color schemes generator based on machine learning☆12Apr 19, 2015Updated 11 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Linux kernel library functions formally verified.☆66Sep 21, 2026Updated last month
- Cross Translation Unit analysis capability for Clang Static Analyzer. (Fork of official clang at http://llvm.org/git/clang)☆15Nov 27, 2019Updated 6 years ago
- Open-source case studies for Frama-C (mainly EVA/Value Analysis plug-in)☆35Oct 29, 2020Updated 6 years ago
- Project to build and test seL4 for many different platforms☆19Updated this week
- Colors clustering based on K-means algorithm & CIE76☆12Aug 17, 2014Updated 12 years ago
- Realizes to write macros in any scripts into any languages.☆23Mar 20, 2017Updated 9 years ago
- Binary parser for Crystal☆21Mar 13, 2022Updated 4 years ago
- Frama-C and WP tutorial☆83Sep 21, 2026Updated last month
- (Broken) Better Sentence Movement Commands and Evil Text Objects☆29May 22, 2022Updated 4 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- SMT solver for the theory of floating-point arithmetic☆27Jan 30, 2018Updated 8 years ago
- FunK is a scalable function provider (think to kind of small FaaS)☆10Jun 29, 2018Updated 8 years ago
- single node kafka implementation☆13Apr 27, 2018Updated 8 years ago
- Solver for Constrained Horn Clauses☆52Oct 20, 2026Updated last week
- Warp10 client for rust☆12Jun 2, 2026Updated 4 months ago
- A vim-emulator for jEdit 5☆15Apr 4, 2023Updated 3 years ago
- "Efficient Neural Theorem Proving via Fine-grained Proof Structure Analysis" (ICML 2025) official implementation.☆16Jun 8, 2025Updated last year
- ☆19Oct 20, 2021Updated 5 years ago
- LIMA: Language for Integrated Modeling and Analysis☆12Sep 8, 2018Updated 8 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Parallel cucumber-js testing via Node's child_process.spawn api☆13Apr 4, 2017Updated 9 years ago
- ProB 2.0☆11Jul 19, 2019Updated 7 years ago
- The MonoSAT SMT solver with a CTL model checking theory☆10Oct 21, 2024Updated 2 years ago
- Ada Embedded Network Stack☆27Jul 14, 2026Updated 3 months ago
- A gem that makes it easy to serialize your objects to json and back. Without this, you'll have to add your own to_json and json_create me…☆16Mar 29, 2012Updated 14 years ago
- A collection of useful tips/tricks/hints for Isabelle users.☆17May 2, 2024Updated 2 years ago
- Scripts for downloading and pre-processing the `proof-pile`, a high quality dataset of mathematical text and code.☆23Nov 26, 2022Updated 3 years ago