Instantiations

WISL

Symbolic Testing with Gillian-C

PLDI 2020 Artifact Documentation

Symbolic Testing with Gillian-JS

JS-2-GIL and Test262

Gillian-JS: Symbolic Test Results

Gillian-C2

Gillian-Rust

API Reference

Compositional Symbolic Execution, Part II (2025)

Gillian-Rust (2025)

Matching Plans (2024)

Compositional Symbolic Execution, Part I (2024)

Symbolic Debugging with Gillian (2023)

Gillian, Part II (2021)

Gillian, Part I - Implementation differences

JaVerT 2.0 (2019)

Cosette (2018)

JaVerT (2018)

Other Gillian-related Publications

Copyright & License

On this page

gillian » Gillian » Abstraction

Module `Gillian.Abstraction`

module MP = Engine.MP

module Verifier = Verify.Verifier

module Normaliser = Engine.Normaliser

Pager