Cyber & formal methods

SRI builds, assesses and defends vital computer systems that affect all of our lives. We study the logical foundations of scalable systems beyond the scope of traditional testing or simulation, and we create and apply high-level tools for rigorous mechanical analysis.

CONTACT US