Product Overview
We build Apalache in accordance with Informal Systems's conviction
that accessible specification languages, powerful solvers, and toolkits for integrating with modern software can transform our ability to build and maintain critical, trusted systems. We make formal methods technology more accessible by developing tools and processes to improve the quality and experience of software engineering.
See Apalache features.
See our milestones.
See our project board.
- Product owner: Igor Konnov (@konnov).
- Community resources
- For general inquiries with Informal: Please get in touch with us at hello@informal.systems.