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