|
stainless-git
|
v0.9.8.1.r5.1890d8ca-1 |
1 |
0.00
|
Verification framework and tool for higher-order Scala programs |
sankalpgambhir
|
2023-10-24 12:26 (UTC) |
|
uppaal
|
5.0.0-3 |
0 |
0.00
|
Verify timed automata models and learn strategies. |
falkecarlsen
|
2024-03-07 09:19 (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 |
soimort
|
2019-10-19 23:55 (UTC) |
|
fstar-bin
|
0.9.7.0-1 |
4 |
0.00
|
A Higher-Order Effectful Language Designed for Program Verification |
soimort
|
2019-10-20 00:11 (UTC) |
|
fstar
|
0.9.7.0-2 |
3 |
0.00
|
A Higher-Order Effectful Language Designed for Program Verification |
soimort
|
2019-10-20 14:49 (UTC) |
|
endpoint-verification
|
2023.06.25.c543344396_00-10 |
2 |
0.00
|
Endpoint Verification Helper for Chromium |
sanquaes
|
2023-12-06 12:56 (UTC) |
|
endpoint-verification-chrome
|
2023.06.25.c543344396_00-10 |
2 |
0.00
|
Endpoint verification Helper for Google Chrome |
sanquaes
|
2023-12-06 12:56 (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) |