# Awas: A Model Analysis Tool

[![V2-sscate](https://jitpack.io/v/sireum/v3-awas.svg)](https://jitpack.io/#sireum/v3-awas)

### Pre-Requisite
  1. [Sireum](http://logika.sireum.org/doc/01-getting-started/index.html)
  2. [Git (optional)](https://git-scm.com/downloads)

### Installation
[Awas Development Setup](http://awas.sireum.org/doc/01-getting-started/index.html)
