Giters

thari / v3-awas

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

Home Page:http://awas.sireum.org/

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

About

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

http://awas.sireum.org/

Languages

Language:JavaScript 42.3%Language:Scala 42.2%Language:Java 13.8%Language:HTML 0.8%Language:ANTLR 0.5%Language:Shell 0.2%Language:CSS 0.1%