3 search results for "tag:"model""
Showing 1 - 3
-
A model checker for automated deduction languages0.9BSD-2-ClauseUsed by 1 other packages06 Jul 2023
-
State-machine testing library for sequential and parallel model-based tests0.3BSD-2-clauseUsed by 5 other packages11 Oct 2023
-
Experimental model finder/SMT solver for functional programming0.6.1Used by 0 other packages14 Nov 2019