A framework for the elicitation, specification, formalization and analysis of requirements.
☆461Apr 14, 2026Updated 4 months ago
Alternatives and similar repositories for fret
Users that are interested in fret are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Cyber-Physical V&V Challenges for the Evaluation of State of the Art Model Checkers☆13Feb 12, 2020Updated 6 years ago
- A modular Lustre to C / Horn clauses compiler☆22Nov 17, 2018Updated 7 years ago
- Requirements management using version control.☆660Updated this week
- ☆10Mar 24, 2023Updated 3 years ago
- Strix is a tool for reactive synthesis of controllers from LTL specifications.☆27Sep 16, 2022Updated 3 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.
- DEPRECATED: System modelling and fault-injection-based resilience assessment in Python☆10Mar 17, 2022Updated 4 years ago
- Repository for the HARDENS project☆29Dec 12, 2024Updated last year
- A stream-based runtime-verification framework for generating hard real-time C code.☆835Jul 8, 2026Updated last month
- Automatically finding bugs in Matlab/Simulink compiler tool chain using randomized differential testing☆17Nov 20, 2019Updated 6 years ago
- Software for technical documentation and requirements management.☆378Updated this week
- C Implementation of a Software Framework for Service-Oriented Applications with PUS Support☆15Jun 6, 2026Updated 3 months ago
- JKind - An infinite-state model checker for safety properties in Lustre☆57Jul 3, 2025Updated last year
- Repository of benchmarks for SYNTCOMP☆16Updated this week
- Functional/Architectural Capella 6.0 model for the ASTRAEUS-01 spacecraft system and all its subsystems.☆16Sep 11, 2024Updated last year
- 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.
- Assume-Guarantee REasoning Environment☆25Dec 3, 2025Updated 9 months ago
- Web Client Application designed to enable users to interact with Model Based System Engineering (MBSE) models☆48Nov 25, 2025Updated 9 months ago
- This package contains the helper createTestPlans which can be used with `xstate` and `@xstate/test`.☆14Sep 14, 2025Updated 11 months ago
- Automated Analysis Framework for Simulink/Stateflow☆14Jul 25, 2023Updated 3 years ago
- BoSy is a reactive synthesis tool based on constraint-solving☆22Aug 3, 2023Updated 3 years ago
- The project SPARK Formal aims at developing a complete semantics of the SPARK language in Coq.☆12Apr 6, 2021Updated 5 years ago
- The Space ROS meta operating system for space robotics.☆240Updated this week
- Static analyzer for C/C++ based on the theory of Abstract Interpretation.☆3,164May 31, 2026Updated 3 months ago
- A domain specific language for requirements engineering. Besides the DSL, the REL framework contains Python integration, and a Visual Stu…☆11Apr 24, 2022Updated 4 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.
- ☆11Nov 12, 2017Updated 8 years ago
- A Functional Mockup Interface (FMI) Standard Implementation for Trick Base Models and Simulations☆25Jul 16, 2024Updated 2 years ago
- AE-solver and Skolemizer☆17Jul 12, 2026Updated last month
- Sireum: A High Assurance System Engineering Platform☆29Updated this week
- Hanfor helps analyzing and formalizing requirements.☆12Updated this week
- AADL models for the Crazyflie UAV -- OMSCS Class CS7639☆11Mar 22, 2020Updated 6 years ago
- A Modern Probabilistic Model Checker☆172Updated this week
- Open Source Solution for Model-Based Systems Engineering☆342Aug 3, 2026Updated last month
- Synthesis Format Conversion Tool☆28Nov 18, 2025Updated 9 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆31Oct 14, 2017Updated 8 years ago
- nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models☆64Feb 13, 2024Updated 2 years ago
- ☆28Sep 27, 2024Updated last year
- A brief JAX tutorial with examples from control theory☆12Nov 17, 2022Updated 3 years ago
- CCSDS MO MAL C API☆13Feb 16, 2024Updated 2 years ago
- The BToolkit, a toolkit supporting software development with the B-method.☆40Apr 19, 2024Updated 2 years ago
- Software Quality Management Tool☆59Updated this week