11 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer Last Updated
uppaal 5.0.0-3 0 0.00 Verify timed automata models and learn strategies. falkecarlsen 2024-03-07 09:19 (UTC)
stainless-git v0.9.8.9.r0.00103687f-1 1 0.00 Verification framework and tool for higher-order Scala programs sankalpgambhir 2024-10-23 07:08 (UTC)
shellfirm-bin 0.2.6-1 0 0.00 Intercept any risky patterns (default or defined by you) and prompt you a small challenge for double verification redemption 2023-05-15 06:26 (UTC)
fstar-git 20191019-1 6 0.00 A Higher-Order Effectful Language Designed for Program Verification orphan 2019-10-19 23:55 (UTC)
fstar-bin 2023.09.03-2 4 0.00 A Higher-Order Effectful Language Designed for Program Verification soimort 2024-05-31 11:01 (UTC)
fstar 0.9.7.0-2 3 0.00 A Higher-Order Effectful Language Designed for Program Verification orphan 2019-10-20 14:49 (UTC)
endpoint-verification 2023.12.18.c591921611_00-10 2 0.00 Endpoint Verification Helper for Chromium sanquaes 2024-07-23 10:01 (UTC)
endpoint-verification-chrome 2023.12.18.c591921611_00-10 2 0.00 Endpoint verification Helper for Google Chrome sanquaes 2024-07-23 10:01 (UTC)
ddpolymerase 0.2.0-1 0 0.00 Copy, repair and verify a file tokidev 2023-09-10 19:33 (UTC)
chksum-git 0.1-1 0 0.00 Check and compare easily the checksum of a file. ChacaS0 2019-10-29 06:41 (UTC)
chksum-bin-git 0.1-1 0 0.00 Check and compare easily the checksum of a file (binary version). ChacaS0 2020-01-13 02:37 (UTC)

11 packages found. Page 1 of 1.