Skip to content

This repository was archived by the owner on May 3, 2024. It is now read-only.

Latest commit

History

Folders and files

Name		Name	Last commit message	Last commit date
.github/workflows		.github/workflows
js/src/main		js/src/main
jvm/src		jvm/src
shared/src/main/scala/org/sireum/awas		shared/src/main/scala/org/sireum/awas
buildAwasDebugJar.sh		buildAwasDebugJar.sh
buildAwasJar.sh		buildAwasJar.sh
buildSireumJar.sh		buildSireumJar.sh
jitpack.yml		jitpack.yml
readme.md		readme.md
shippable.yml		shippable.yml

Repository files navigation

Awas: A Model Analysis Tool

Pre-Requisite

Installation

Awas Development Setup

About

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

awas.sireum.org/

Topics

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

Resources

Custom properties

Stars

8 stars

Watchers

3 watching

Forks

Report repository

Releases

Packages

Used by

Contributors

Languages