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.

• Installation
• 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