package coq-vst-iris

  1. Overview
  2. No Docs
Verified Software Toolchain with Iris

Install

Dune Dependency

vst.cs.princeton.edu Edit opam file Versions (1)

Authors

  1. W
    William Mansky
  2. S
    Shengyi Wang

Maintainers

  1. V
    VST team

Sources

v2.11.1.tar.gz
sha512=9d66a1a0f428199110d89a8b4e90d50ad9b6448c92b5ad0859a1bcae9bf1153ea016b5af1ab9f4dc441b5af307968445f4b134cdb80593a6e9a974be94cc5730

Description

VST with support for Iris tactics, definitions, and notation. Especially useful for reasoning about fine-grained concurrent programs and logical atomicity.

Tags

category:Computer Science/Semantics and Compilation/Semantics keyword:C logpath:VST date:2023-01-24

Published: 25 Jan 2023

Dependencies (2)

  1. coq-iris >= "4.0.0"
  2. coq-vst = version

Dev Dependencies

None

Used by

None

Conflicts

None