Description
Formal methods and high-assurance software research for DARPA and DoD, including verified cyber-resilient systems.
Why It Belongs Here
No specific defense relevance signals have been verified yet.
Details
Links
Domain: galois.com
Sources and Evidence
Evidence Links
No evidence links have been extracted yet.