GUnited States
Galois
Defense-FirstDescription
Formal methods and high-assurance software research for DARPA and DoD, including verified cyber-resilient systems.
Details
Founded: 1999
Employee count: not yet verified
United States
Links
Domain: galois.com
GitHub: not yet verified
YouTube: not yet verified
X profile: not yet verified
Sources and Evidence
Source record attached; public URL not available.From source record· 3 months ago
Evidence Links
No evidence links have been extracted yet.
Added Aug 11, 2026
Last verified: 3 months ago
Joined DefTech DirectoryAug 11, 2026