13 Search Results
dolmen_model
A model checker for automated deduction languages
dolmen_type
A typechecker for automated deduction languages
frama-c-e-acsl
This package contains the Frama-C's E-ACSL plug-in.
ocamlfind-lint
Simple tool performing checks on installed findlib META files
qcheck
Compatibility package for qcheck
qcheck-alcotest
Alcotest backend for qcheck
qcheck-core
Core qcheck library
qcheck-lin
A multicore testing library for OCaml
qcheck-multicoretests-util
Various utility functions for property-based testing of multicore programs
qcheck-ounit
OUnit backend for qcheck
qcheck-stm
State-machine testing library for sequential and parallel model-based tests
qcstm
A simple state-machine framework for OCaml based on QCheck