Skip to content
Snippets Groups Projects
L

LiVe

Linkoeping Algorithmic Program Verification

  • P
    pacman

    The tool PACMAN derives counting invariants for parameterized concurrent programs and incrementally predicate abstracts them, leveraging on a nested constrained monotonic abstraction CEGAR loop which is implemented by its sister project zaama.

    0
  • P
    phaserverify

    A verfier for phaser synchronization.

    0
  • S
    syncv
    0
  • Z
    zaama

    constrained monotonic abstraction for counter machines

    0
  • Z
    zaama-coherence

    A version of the tool ZAAMA which is adapted to be able to verify cache coherence protocols with trace filters.

    0