Sireum

A High-Assurance System Engineering Platform

About

Sireum next-gen is a high-assurance system engineering platform incorporating various formal analyses and compilation toolchains.
 
Read more...

  

  

  

Downloads

HAMR is a high-assurance model-based rapid engineering toolset for embedded systems (next-gen).

Logika is a program verifier and proof checker for propositional, predicate, and programming logics (v3).

Awas is an information flow analyzer and visualizer for component-based systems (v3).

Amandroid (now Argus-SAF) is a static analysis framework for security vetting Android apps (v2).

Contact

Professor Robby
SAnToS Laboratory
Department of Computer Science
Kansas State University