- Technology for analysis and synthesis of high-assurance software applications Kestrel Institute is a non-profit computer science research institute. Our mission is to make formal methods work in practice. We develop and apply technology for synthesis and automated analysis of mission-critical systems. Based on methods from logic, algebra and category theory, our advanced automated generators ...www.kestrel.edu