Kestrel Technology

Website Links

Description

Kestrel Technology (KT) is a research and development company located in Palo Alto, CA. KT is staffed by highly trained computer scientists, mathematicians, and engineers who share a vision for using sound mathematical foundations for assuring the highest level of software robustness, reliability and security. Our mission is to develop software analysis tools that provide automated mathematical assurance of software correctness in a cost effective way, and to apply them to real world applications. In particular, KT has been developing technology that can automatically prove the absence of targeted vulnerabilities in C source code (with projects underway to target Java and binary code).

Fact sheet

Products & services

Similar companies nearby