deadlock

Frama-C plugin for deadlock detection
Description
Install
Published
07 Oct 2021
Sources
1.0.1.tar.gz
md5=fa1302e9f6586ba535838c23bfbffea8
Dependencies
frama-c
>= "23.1" & < "25.0~"
ocaml
>= "4.12.0"
Reverse Dependencies