is a high-assurance software development platform incorporating various formal analyses
and compilation toolchains.
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.
Department of Computer Science
Kansas State University