package deadlock

  1. Overview
  2. No Docs
Frama-C plugin for deadlock detection

Install

Dune Dependency

Authors

Maintainers

Sources

1.0.1.tar.gz
sha256=0eabef76214f8e7b393a65d97218edd0e727ecf25bd7acbc20348cde15138397
md5=fa1302e9f6586ba535838c23bfbffea8

Description

Published: 07 Oct 2021

Dependencies (4)

  1. containers
  2. ounit2
  3. frama-c >= "23.1" & < "25.0~"
  4. ocaml >= "4.12.0"

Dev Dependencies

None

Used by

None

Conflicts

None

OCaml

Innovation. Community. Security.