#

sireum

Here is 1 public repository matching this topic...

sireum / v3-awas

Awas: A tool for model navigation, dependency analysis and risk analysis of component based systems

fault-tree risk-analysis static-analysis dependency-analysis dependency-graph aadl domain-specific-language fault-detection information-flow stpa sireum hazard-analysis-framework

Updated May 10, 2022
JavaScript

Improve this page

Add a description, image, and links to the sireum topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the sireum topic, visit your repo's landing page and select "manage topics."