13 search results for "tag:"check""
Showing 1 - 13
-
A model checker for automated deduction languages0.9BSD-2-ClauseUsed by 1 other packages06 Jul 2023
-
A typechecker for automated deduction languages0.9BSD-2-ClauseUsed by 4 other packages06 Jul 2023
-
This package contains the Frama-C's E-ACSL plug-in.0.5LGPL-2.1-onlyUsed by 0 other packages28 Jul 2015
-
Simple tool performing checks on installed findlib META files0.1.0New BSD LicenseUsed by 0 other packages05 Mar 2015
-
0.21.3BSD-2-ClauseUsed by 60 other packages06 Dec 2023
-
0.21.3BSD-2-ClauseUsed by 78 other packages06 Dec 2023
-
0.21.3BSD-2-ClauseUsed by 35 other packages06 Dec 2023
-
A multicore testing library for OCaml0.3BSD-2-clauseUsed by 0 other packages11 Oct 2023
-
Various utility functions for property-based testing of multicore programs0.3BSD-2-clauseUsed by 5 other packages11 Oct 2023
-
0.21.3BSD-2-ClauseUsed by 4 other packages06 Dec 2023
-
State-machine testing library for sequential and parallel model-based tests0.3BSD-2-clauseUsed by 8 other packages11 Oct 2023
-
A simple state-machine framework for OCaml based on QCheck0.1.1BSD-2-ClauseUsed by 0 other packages24 Jun 2019
-
Lightweight inline test extraction from comments2.11.2Used by 22 other packages12 Feb 2021