GillianPlatform/Gillian ↗
Created Jan 10, 2021 · View the GillianPlatform/Gillian repository page
The Gillian Platform main repository
Want this for your repo?
Render a free sample of any GitHub repo in seconds.
Contributors
5
Lines of Code
2,015
From
Mar 2, 2020
To
Sep 22, 2020
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.