Previous Experiences

The Programatica project and Galois have each had several years of experience in the development and analysis of high-assurance systems software using functional programming, specifically the Haskell programming language.

Programatica History

Programatica developed both applications and reasoning tools for Haskell, including:

Galois History

Galois has also developed a number of Haskell applications and tools, including but not limited to: back to main page