mbeddr / mbeddr.formal
FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.
☆23Updated 2 weeks ago
Related projects: ⓘ
- Open Source AADL2 Tool Environment☆36Updated last month
- Automated Analysis Framework for Simulink/Stateflow☆15Updated last year
- JKind - An infinite-state model checker for safety properties in Lustre☆52Updated last month
- ☆33Updated 5 years ago
- ☆20Updated last year
- Specification and Analysis for Requirements Tool☆20Updated 3 years ago
- An Eclipse-based modeling framework for the component-based design and analysis of reactive systems☆30Updated this week
- Hylaa: A Tool for Formal Verification of Hybrid Automata with Linear ODEs☆27Updated last year
- Automated Analysis Framework for Simulink/Stateflow (deprecated, see cocoSim2)☆23Updated 7 years ago
- Specify and synthesize systems using symbolic algorithms☆45Updated 7 months ago
- This add-on allows importing a set of requirements from a ReqIF file☆18Updated this week
- AADL models for the Crazyflie UAV -- OMSCS Class CS7639☆11Updated 4 years ago
- DARPA's Cyber Assured Systems Engineering (CASE) project named Verification Evidence and Resilient Design in Anticipation of Cybersecurit…☆40Updated 3 weeks ago
- An implementation of Hoare and He's Unifying Theories of Programming in Isabelle☆34Updated 7 months ago
- Generic, modular and configurable formal verification framework supporting various formalisms and algorithms☆47Updated this week
- The main development version of the PRISM model checker.☆154Updated this week
- A multi-formalism, multi-solution model-checker centered on the language GAL☆21Updated 2 months ago
- DARPA CASE program☆13Updated 2 years ago
- A model checker for infinite-state systems.☆69Updated 3 years ago
- Examples and case-study that use OSATE☆56Updated 3 years ago
- XSTAMPP (eXtensible STAMP Platform) is an open-source platform for safety engineering designed specially to serve the widespread adoption…☆28Updated 2 years ago
- Repository for the HARDENS project☆17Updated 3 months ago
- ☆14Updated 3 years ago
- a model extractor, to automatically extract Spin verification models from multi-threaded C code☆18Updated 2 years ago
- HyPro: A C++ state set representation library for the analysis of hybrid systems☆29Updated last week
- ☆52Updated 3 weeks ago
- An efficient graph solver for generating well-formed models☆26Updated 2 years ago
- Intrepyd Model Checker☆17Updated 2 years ago
- The LTSmin model checking toolset☆52Updated 6 months ago
- Multi-engine SMT-based automatic model checker for safety properties of Lustre programs☆85Updated 2 weeks ago