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

  • Gillian-C
    • Symbolic Testing
    • PLDI’20 Artefact Documentation
      • Folder Structure
      • Symbolic Testing
  • Kanillian (Alternative C Instantiation)
  • 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

Other Gillian-related Publications¶

  • A Formal CHERI-C Semantics for Verification (TACAS’23) by Seung Hoon Park, Rekha Pai, and Tom Melham

Next
Copyright and License
Previous
JaVerT
Copyright © Gillian Team @ Imperial College London
Made with Sphinx and @pradyunsg's Furo