Automated Code Repair suite powered by ESBMC and LLMs.
☆43Feb 20, 2026Updated 5 months ago
Alternatives and similar repositories for esbmc-ai
Users that are interested in esbmc-ai are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- BehaVerify: A Formal Verification Tool for Behavior Trees☆25May 22, 2026Updated 2 months ago
- The efficient SMT-based context-bounded model checker (ESBMC)☆511Updated this week
- A verifier that integrates LLMs into automated C program verification☆16Apr 4, 2026Updated 4 months ago
- AI-powered security code analysis and vulnerability scanner built with modern AI models and OWASP best practices.☆30Jul 6, 2025Updated last year
- DSVerifier - Digital Systems Verifier☆11Feb 22, 2019Updated 7 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Programming Language for Peripheral Safety on Embedded Systems☆18Apr 8, 2026Updated 4 months ago
- Parallel Bytecode Interpreter For Heterogeneous Hardware☆15Aug 27, 2021Updated 4 years ago
- A simulation platform for managed applications based on Maxine VM and ZSim☆11Jun 19, 2017Updated 9 years ago
- Naive Educational RISC-V -- A simple single-stage RV32I processor☆28Nov 3, 2020Updated 5 years ago
- This repository includes code and materials for the paper "Efficient PRM Training Data Synthesis via Formal Verification" (ACL 2026 Findi…☆19Apr 7, 2026Updated 4 months ago
- 模仿美团App☆13Mar 15, 2016Updated 10 years ago
- ☆14May 14, 2024Updated 2 years ago
- https://icml.cc/virtual/2023/poster/24354☆10Aug 15, 2023Updated 3 years ago
- ☆15Aug 11, 2025Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Welcome to the FEDERATE Building Block (BB) Repository! This repository contains structured descriptions of Building Blocks (BBs) that a…☆16Aug 1, 2026Updated 2 weeks ago
- Unified Maude model-checking tool☆13Jul 29, 2026Updated 2 weeks ago
- Sources of the EuroProofNet web site.☆13Jul 15, 2026Updated last month
- Iodine: Verifying Constant-Time Execution of Hardware☆18Mar 29, 2021Updated 5 years ago
- ☆10Mar 24, 2022Updated 4 years ago
- ☆16Aug 26, 2023Updated 2 years ago
- A template for developing custom FIRRTL transforms☆10Jan 30, 2020Updated 6 years ago
- Map2Check: Finding Software Vulnerabilities☆30Updated this week
- Decompiler of LLVM bitcode to C☆93Dec 4, 2025Updated 8 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Data for LLM4Vuln☆14Jan 28, 2024Updated 2 years ago
- 🎥 A Java implementation of Kinect Fusion running on Tornado VM.☆28Updated this week
- ICSE 2025: Fuzzing MLIR compilers with Custom Mutation Synthesis☆15Jul 22, 2025Updated last year
- Code for the paper "LLM Meets Bounded Model Checking: Neuro-symbolic Loop Invariant Inference" at ASE 2024☆30Sep 3, 2024Updated last year
- Open source release from our ICLR 2020 paper, CLN2INV: Learning Loop Invariants with Continuous Logic Networks.☆21Jun 8, 2020Updated 6 years ago
- HierCGRA: An Open-Source Framework for Large-Scale CGRA with Hierarchical Modeling and Automated Exploration☆15Mar 6, 2023Updated 3 years ago
- Automatic generation of architecture-level models for hardware from its RTL design.☆16Apr 12, 2023Updated 3 years ago
- Run Unikraft ELF Loader app on Linux executables☆16Oct 19, 2023Updated 2 years ago
- Tamarin proof for the KEMTLS protocol using the multi-stage AKE model☆14Apr 19, 2023Updated 3 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Tamarin models for state continuity of SGX enclave programs☆14Aug 6, 2021Updated 5 years ago
- A repository of code examples to accompany the LSU CSC7809/7700/47000 course on AI foundation models.☆13Apr 5, 2025Updated last year
- [ICLR 2021: Spotlight] Source code for the paper "A Panda? No, It's a Sloth: Slowdown Attacks on Adaptive Multi-Exit Neural Network Infer…☆15Feb 16, 2022Updated 4 years ago
- ☆20Nov 5, 2018Updated 7 years ago
- A real-time ray tracer in Java, accelerated on heterogeneous hardware using TornadoVM☆26Jul 24, 2024Updated 2 years ago
- Linux utility for monitoring bandwidth consumption by process name☆10Feb 21, 2017Updated 9 years ago
- Using HashiCorp Boundary, Vault, and Consul with Amazon ECS☆12Jan 28, 2022Updated 4 years ago