Galois
Guarantees trustworthiness in critical software systems through formal methods.
Founded 1999 · 116 employees · United States · Private
CybersecurityResearch and Development
- Funding: Grant · $250K · 2024
- Subsidiaries: Niobium Microsystems
Guarantees trustworthiness in critical software systems through formal methods.
Founded 1999 · 116 employees · United States · Private