Sireum

A High-Assurance Software Development Platform

About

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

Sireum next gen is currently under development.

Downloads

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

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