Sireum

A High-Assurance Software Development Platform

About

Sireum next-gen is a high-assurance software development platform incorporating various formal analyses and compilation toolchains.

 
 

 

Downloads

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

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

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

Contact

Professor Robby
SAnToS Laboratory
Department of Computer Science
Kansas State University