Gillian project website

Gillian is a multi-language analysis platform supporting, e.g., verification and symbolic testing. Gillian has currently been instantiated to C, JavaScript, and Rust.

To attendees of SSFT 2025

If you are attending the Fourteenth Summer School on Formal Techniques, please find further information here.

• Installation
• Labs & Tutorials
  • SSFT 2025
• Developing Gillian
• The Gillian Debugger
• API reference

Instantiations

• WISL
  • Verification Tutorial
• Gillian-C
  • Symbolic Testing
  • PLDI’20 Artefact Documentation
    • Folder Structure
    • Symbolic Testing
• Gillian-C2
• Gillian-JS
  • Symbolic Testing
  • PLDI'20 Artefact Documentation
    • Folder Structure
    • JS-2-GIL and Test262
    • Symbolic Testing
• Gillian-Rust

About Gillian

• Publications
  • Compositional Symbolic Execution, Part I
  • Matching Plans
  • Symbolic Debugging with Gillian
  • Gillian, Part II
  • Gillian, Part I
  • JaVerT 2.0
  • Cosette
  • JaVerT
• Other Gillian-related Publications
• Copyright and License