6 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer Last Updated
spot 2.11.6-1 4 0.00 A C++17 library for LTL, omega automata manipulation and model checking. cdemoulins 2023-08-21 09:21 (UTC)
spin-git 6.5.2.r23.g6651f97-1 0 0.00 Explicit state logic model checking tool kyechou 2020-12-24 18:20 (UTC)
r-mi 1.1-1 0 0.00 Missing Data Imputation and Model Checking BioArchLinuxBot 2022-07-25 12:59 (UTC)
jpf-core-bin r32-1 0 0.00 An extensible software model checking framework for Java bytecode programs baplar 2018-05-04 12:41 (UTC)
cbmc-git 5.11.r1339.gabbb38942-1 1 0.00 Bounded Model Checking for ANSI-C PythonShell 2019-02-11 07:28 (UTC)
cbmc-bin 5.11-1 1 0.00 Bounded Model Checking for ANSI-C PythonShell 2019-02-10 12:13 (UTC)

6 packages found. Page 1 of 1.