KESTREL

Kestrel Institute is a non-profit computer science research center, located in the Stanford Research Park in Palo Alto, California... Kestrel can provide formal methods assistance for software projects of all types.

Also known as: Kestrel Institute

Primary location: Palo Alto United States