At a Glance
| Applications | Program Prover |
| Interfaces | CLI |
| Licenses | BSD-3-Clause |
| Maintenance | Actively Maintained |
Description
Gillian is a multi-language analysis platform supporting, e.g., verification and symbolic testing. Gillian has currently been instantiated to C, JavaScript, and Rust.