osate / osate2Links
Open Source AADL2 Tool Environment
☆46Updated this week
Alternatives and similar repositories for osate2
Users that are interested in osate2 are comparing it to the libraries listed below
Sorting:
- Examples and case-study that use OSATE☆56Updated 4 months ago
- ☆34Updated 6 years ago
- DARPA's Cyber Assured Systems Engineering (CASE) project named Verification Evidence and Resilient Design in Anticipation of Cybersecurit…☆44Updated last year
- FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.☆27Updated 2 weeks ago
- XSTAMPP (eXtensible STAMP Platform) is an open-source platform for safety engineering designed specially to serve the widespread adoption…☆28Updated last month
- A multi-formalism, multi-solution model-checker centered on the language GAL☆25Updated 2 weeks ago
- Ptolemy II is an open-source software framework supporting experimentation with actor-oriented design.☆111Updated 2 years ago
- An interactive (fast) static source code analyzer☆173Updated this week
- Automated Analysis Framework for Simulink/Stateflow (deprecated, see cocoSim2)☆25Updated 8 years ago
- ☆19Updated 2 years ago
- An Eclipse-based modeling framework for the component-based design and analysis of reactive systems☆31Updated this week
- ☆10Updated 2 months ago
- Massif is a Matlab Simulink Integration Framework for Eclipse☆20Updated last year
- Library of AADL models☆44Updated 9 months ago
- Static Analyzer and Verifier☆48Updated 10 months ago
- EMF-based Fault-Tree Analysis Tool☆61Updated 7 years ago
- DARPA CASE program☆13Updated 2 months ago
- JKind - An infinite-state model checker for safety properties in Lustre☆53Updated 2 months ago
- a model extractor, to automatically extract Spin verification models from multi-threaded C code☆23Updated 8 months ago
- static analysis benchmarks from Toyota ITC☆115Updated 2 years ago
- Semantic program repair system for C programs☆100Updated 2 years ago
- LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM☆25Updated 3 years ago
- Automated Analysis Framework for Simulink/Stateflow models.☆53Updated 3 months ago
- Create minimum MCDC test sets for a boolean expression☆43Updated 4 years ago
- DIVINE model checker git mirror, https://divine.fi.muni.cz. This is a read-only mirror of the main darcs repository. Issues should be rep…☆21Updated 4 years ago
- CodeHawk C Analyzer: sound static analysis of memory safety (undefined behavior)☆29Updated 3 months ago
- C Code Source Metrics - tool to gather simple metrics from C code☆38Updated last year
- The LTSmin model checking toolset☆59Updated 10 months ago
- ☆53Updated 9 years ago
- A Modern Probabilistic Model Checker☆150Updated this week