13 Search Results
dolmen_model
A model checker for automated deduction languages
logic type model modelchecking first order
Guillaume Bury <guillaume.bury@gmail.com>
0.8
BSD-2-Clause
Used by 1 other packages
dolmen_type
A typechecker for automated deduction languages
logic type typechecking first order polymorphism
Guillaume Bury <guillaume.bury@gmail.com>
0.8
BSD-2-Clause
Used by 3 other packages
frama-c-e-acsl
This package contains the Frama-C's E-ACSL plug-in.
program verification formal specification runtime assertion checking monitoring C plugins ACSL E-ACSL
Julien Signoles Guillaume Petiot
0.5
LGPL-2.1-only
Used by 0 other packages
ocamlfind-lint
Simple tool performing checks on installed findlib META files
findlib ocamlfind check META
Maxence Guesdon
0.1.0
New BSD License
Used by 0 other packages
qcheck
Compatibility package for qcheck
test property quickcheck
the qcheck contributors
0.20
BSD-2-Clause
Used by 54 other packages
qcheck-alcotest
Alcotest backend for qcheck
test quickcheck qcheck alcotest
the qcheck contributors
0.20
BSD-2-Clause
Used by 58 other packages
qcheck-core
Core qcheck library
test property quickcheck
the qcheck contributors
0.20
BSD-2-Clause
Used by 22 other packages
qcheck-lin
A multicore testing library for OCaml
test property qcheck quickcheck parallelism sequential consistency
Jan Midtgaard Olivier Nicole Nicolas Osborne Samuel Hym
0.1
BSD-2-clause
Used by 0 other packages
qcheck-multicoretests-util
Various utility functions for property-based testing of multicore programs
test property qcheck quickcheck multicore non-determinism
Jan Midtgaard Olivier Nicole Nicolas Osborne Samuel Hym
0.1
BSD-2-clause
Used by 2 other packages
qcheck-ounit
OUnit backend for qcheck
qcheck quickcheck ounit
the qcheck contributors
0.20
BSD-2-Clause
Used by 4 other packages
qcheck-stm
State-machine testing library for sequential and parallel model-based tests
test property qcheck quickcheck state-machine testing model-based testing parallel testing
Jan Midtgaard Olivier Nicole Nicolas Osborne Samuel Hym
0.1
BSD-2-clause
Used by 0 other packages
qcstm
A simple state-machine framework for OCaml based on QCheck
state machine test property quickcheck
Jan Midtgaard
0.1.1
BSD-2-Clause
Used by 0 other packages
qtest
Lightweight inline test extraction from comments
test property quickcheck
Vincent Hugot <vincent.hugot@gmail.com> Simon Cruanes <simon.cruanes.2007@m4x.org
2.11.2
Used by 22 other packages