☆23Mar 24, 2023Updated 2 years ago
Alternatives and similar repositories for formal-methods-workbench
Users that are interested in formal-methods-workbench are comparing it to the libraries listed below
Sorting:
- Assume-Guarantee REasoning Environment☆20Dec 3, 2025Updated 3 months ago
- ☆35May 8, 2019Updated 6 years ago
- Specification and Analysis for Requirements Tool☆10Mar 31, 2016Updated 9 years ago
- JKind - An infinite-state model checker for safety properties in Lustre☆55Jul 3, 2025Updated 8 months ago
- AADL models for the Crazyflie UAV -- OMSCS Class CS7639☆11Mar 22, 2020Updated 5 years ago
- DARPA CASE program☆15Jun 10, 2025Updated 8 months ago
- Venus is a state-of-the-art sound and complete verification toolkit for Relu-based feed-forward neural networks. It can be used to check…☆15Aug 31, 2022Updated 3 years ago
- LAR-19679-1 : CPR*: Formally Verified Compact Position Reporting Algorithm☆16Nov 30, 2020Updated 5 years ago
- Automated Analysis Framework for Simulink/Stateflow☆16Jul 25, 2023Updated 2 years ago
- DARPA's Automated Rapid Certification of Software (ARCOS) project called Rapid Assurance Curation Kit (RACK)☆21Jan 26, 2026Updated last month
- An implementation of Hoare and He's Unifying Theories of Programming in Isabelle☆38Jan 29, 2024Updated 2 years ago
- CLEVER: Code Lean Evaluation for Verified End-to-end Reasoning☆37Dec 18, 2025Updated 2 months ago
- Multi-engine SMT-based automatic model checker for safety properties of Lustre programs☆116Updated this week
- Generation of mutant programs☆20Oct 31, 2018Updated 7 years ago
- ☆53Jun 26, 2016Updated 9 years ago
- ELISA Aerospace Working Group☆34Updated this week
- Specware consists of a formal specification language and tools for transformation and refinement to efficient implementations in CommonLi…☆24Feb 25, 2022Updated 4 years ago
- ☆27Sep 27, 2024Updated last year
- AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL☆73Mar 23, 2022Updated 3 years ago
- ☆17Feb 23, 2026Updated last week
- Bare metal demo code for Raspberry PI 3☆33Jan 27, 2017Updated 9 years ago
- An API that can be used to expose an SMT-LIB compliant SMT solver to a developer tool written in Rust.☆36Jan 17, 2020Updated 6 years ago
- ☆29Oct 14, 2017Updated 8 years ago
- [research] A modular SMT solver in OCaml, based on mcSAT☆39Jan 1, 2024Updated 2 years ago
- Open-source case studies for Frama-C (mainly EVA/Value Analysis plug-in)☆33Oct 29, 2020Updated 5 years ago
- Library for modeling, simulation, and verification of interacting autonomous agents☆37Aug 10, 2025Updated 6 months ago
- A startup code generator for embedded projects☆32Jan 9, 2026Updated last month
- CHERI C/C++ Programming Guide☆60Feb 7, 2026Updated 3 weeks ago
- Simplicity SDK for Zephyr☆18Feb 23, 2026Updated last week
- Reads a state transition system and performs property checking☆90Sep 12, 2025Updated 5 months ago
- Clover: Closed-Loop Verifiable Code Generation☆42May 12, 2025Updated 9 months ago
- An instructional website with progressively worked examples of TLA+ specifications and model checking.☆46Jul 7, 2022Updated 3 years ago
- A VS Code Workspace for developing Zephyr Projects☆11Jun 7, 2023Updated 2 years ago
- Fork of JP2499 from before it went closed source☆15Nov 23, 2024Updated last year
- Redefining Video Management with power of SQL☆11Oct 15, 2023Updated 2 years ago
- Simple single-screen JavaScript-driven OAuth 1.0 signed call and execution app.☆15Mar 6, 2011Updated 14 years ago
- A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point☆51Nov 16, 2025Updated 3 months ago
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- Example projects for Zephyr RTOS on RAK3172/RAK4631/RAK5010/RAK11720☆10Dec 6, 2025Updated 2 months ago