issues
search
sireum
/
v3-awas
Awas: A tool for model navigation, dependency analysis and risk analysis of component based systems
http://awas.sireum.org/
7
stars
1
forks
source link
aadl
dependency-analysis
dependency-graph
domain-specific-language
fault-detection
fault-tree
hazard-analysis-framework
information-flow
risk-analysis
sireum
static-analysis
stpa
readme
Awas: A Model Analysis Tool
Pre-Requisite
Sireum
Git (optional)
Installation
Awas Development Setup