github.com/GillianPlatform/Gillian ↗
The Gillian Platform main repository
Open this visualization on its own page →
Contributors
5
Lines of Code
2,015
From
2020-03-02
To
2020-09-22
About GillianPlatform/Gillian
Gillian is a platform built in OCaml for program analysis and verification. The project provides a structured codebase designed to support formal reasoning about software behavior, with comprehensive documentation available through the project's official website. It serves researchers and developers working on static analysis, symbolic execution, and program correctness verification.
The platform is organized as a modular system with multiple components working together to enable different analysis capabilities. Rather than being a single monolithic tool, Gillian functions as an extensible foundation that can be adapted for various program analysis tasks and languages. It is distributed under the BSD-3 License, making it suitable for both academic and commercial use.