OCaml logo
1 Search Results
frama-c-metacsl
MetACSL plugin of Frama-C for writing pervasives properties
program verification formal specification ACSL MetACSL
Virgile Robles
0.3
LGPL-2.1-only
Used by 0 other packages