Contents Menu Expand Light mode Dark mode Auto light/dark, in light mode Auto light/dark, in dark mode Skip to content
Gillian
Light Logo Dark Logo
  • 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
Back to top
View this page

Gillian-C¶

Gillian-C is the instantiation of Gillian to the C language (CompCert-C, to be precise). It can be found in the Gillian-C folder of the Gillian repository.

  • Symbolic Testing
  • PLDI’20 Artefact Documentation
    • Folder Structure
    • Symbolic Testing
Next
Symbolic Testing
Previous
Verification Tutorial
Copyright © Gillian Team @ Imperial College London
Made with Sphinx and @pradyunsg's Furo