| abc-git |
1.01-1 |
1 |
0.00 |
System for Sequential Logic Synthesis and Formal Verification |
spaceships
|
| alt-ergo |
2.3.0-2 |
1 |
0.00 |
SMT solver for software verification |
orphan
|
| boogie-git |
0.r5030.8448ac1c-1 |
2 |
0.00 |
Boogie is an Intermediate Verification Language (IVL) for describing proof obligations to be discharged by a reasoning engine, typically an SMT solver |
joojoo
|
| chksum-bin-git |
0.1-1 |
0 |
0.00 |
Check and compare easily the checksum of a file (binary version). |
ChacaS0
|
| chksum-git |
0.1-1 |
0 |
0.00 |
Check and compare easily the checksum of a file. |
ChacaS0
|
| cpachecker-svn |
r33105-1 |
0 |
0.00 |
Tool for configurable software verification. |
daniel7
|
| dafny-git |
v3.0.0.rpre.rrelease.r1.r256.rgd25ae257-1 |
0 |
0.00 |
Dafny is a verification-aware programming language |
crave
|
| debsig-verify |
0.22-1 |
0 |
0.00 |
Debian package signature verification tool |
nightuser
|
| debsig-verify-git |
0.22.r0.8872a14-1 |
1 |
0.00 |
Debian package signature verification tool |
nightuser
|
| endpoint-verification-minimal |
2020.09.29.c334423510_00-1 |
0 |
0.00 |
Endpoint Verification Helper for Chrome |
nickray
|
| fstar |
0.9.7.0-2 |
3 |
0.00 |
A Higher-Order Effectful Language Designed for Program Verification |
soimort
|
| fstar-bin |
0.9.7.0-1 |
4 |
0.00 |
A Higher-Order Effectful Language Designed for Program Verification |
soimort
|
| fstar-git |
20191019-1 |
6 |
0.00 |
A Higher-Order Effectful Language Designed for Program Verification |
soimort
|
| git-evtag |
2016.1-1 |
0 |
0.00 |
Extended verification for Git tags |
aperez
|
| gnome-twofactorauth-git |
v0.1.0-1 |
2 |
0.00 |
Two-Factor Authentication code generator for Gnome |
bil-elmoussaoui
|
| jjbmc |
1.0-1 |
0 |
0.00 |
Java Software Verification Tool |
SeineEloquenz
|
| key-nightly |
2.7.1537-1 |
0 |
0.00 |
Java Software Verification Tool |
csicar
|
| kpar2 |
0.4.5-7 |
10 |
0.00 |
PAR2 verification and repair program for KDE4 |
sl1pkn07
|
| libmacaroons |
0.3.0-2 |
1 |
0.00 |
Libmacaroons provides flexible authorization credentials that support decentralized delegation, attenuation, and verification, and is used by HyperDex. |
MobiusHorizons
|
| ltsa |
3.0-7 |
5 |
0.00 |
Labelled Transition System Analyser, a verification tool for concurrent systems |
gamezelda
|
| ocaml-fstar |
0.9.6.0-4 |
1 |
0.00 |
An ML-like language with a type system for program verification. |
orphan
|
| openjml-bin |
0.8.44-2 |
0 |
0.00 |
Java Software Verification Tool |
csicar
|
| par2cmdline-git |
20200212.cf23c38-1 |
5 |
0.00 |
A file verification and repair tool |
BlackIkeEagle
|
| perl-crypt-openssl-verify |
0.28-1 |
0 |
0.00 |
OpenSSL Verify certificate verification in XS. |
jimmyxu
|
| perl-test-magpie |
0.11-1 |
0 |
0.00 |
Mocking framework with method stubs and behaviour verification |
orphan
|
| phive |
0.14.5-1 |
1 |
0.00 |
The Phar Installation and Verification Environment (PHIVE) |
KingCrunch
|
| rescepy-git |
47-1 |
3 |
0.00 |
automated srr (rescene) verification and reconstruction. |
dryes
|
| ruby-bundler-audit |
0.7.0.1-1 |
0 |
0.00 |
Patch-level verification for Bundler |
lostkhaos
|
| scv |
2.0.1-1 |
0 |
0.00 |
SystemC verification library |
schulz
|
| uvm-python-git |
r1174.26acd2b-1 |
0 |
0.00 |
Port of SystemVerilog Universal Verification Methodology (UVM) 1.2 to Python and cocotb |
mox
|
| uvm-systemc |
1.0_beta1-1 |
0 |
0.00 |
Universal Verification Methodology (UVM) in SystemC |
schulz
|
| vera++ |
1.3.0-2 |
4 |
0.00 |
A programmable tool for verification, analysis and transformation of C++ source code |
markand
|
| verifast-bin |
19.12-1 |
0 |
0.00 |
research prototype of a tool for formal verification of C and Java programs |
theSander
|
| why3 |
1.3.2-1 |
5 |
0.00 |
A platform for deductive program verification |
orphan
|
| why3-git |
0.72.r3740.g406e7f0-2 |
1 |
0.00 |
The next generation of the former software verification platform Why |
kaptoxic
|
| python-qiskit-ignis |
0.6.0-1 |
1 |
0.00 |
Tools for quantum hardware verification, noise characterization, and error correction |
iyanmv
|
| fitsverify |
4.20-1 |
4 |
0.00 |
A FITS file format-verification tool |
grahambell
|
| key-bin |
2.8.0-0 |
1 |
0.00 |
Java Software Verification Tool |
csicar
|
| cpachecker |
1.9-2 |
1 |
0.00 |
Tool for configurable software verification. |
daniel7
|
| roundcubemail-plugin-twofactor-git |
r193.fbeca4c-1 |
2 |
0.00 |
Adds two-step verification (TOTP) to the Roundcube login process |
morgenstern
|
| libdigidocpp |
3.14.6.1410-1 |
13 |
0.00 |
Library for creating, signing and verification of digitally signed documents, according to XAdES and XML-DSIG standards |
kevku
|
| endpoint-verification |
2020.10.19.c337849236_00-2 |
2 |
0.00 |
Endpoint Verification Helper for Chromium |
ilango100
|
| endpoint-verification-chrome |
2020.10.19.c337849236_00-2 |
2 |
0.00 |
Endpoint verification Helper for Google Chrome |
ilango100
|
| perl-crypt-smime |
0.27-1 |
1 |
0.03 |
S/MIME message signing, verification, encryption and decryption |
jimmyxu
|
| roundcubemail-plugin-authres_status |
0.6.2-3 |
1 |
0.09 |
Roundcube plugin for checking the Authentication-Results headers that were added by your MTA and displays an icon to show the verification status. |
smirky
|
| symbiyosys-git |
r180.23f8901-1 |
2 |
0.09 |
A front-end driver program for Yosys-based formal hardware verification flows |
benallard
|
| dafny-bin |
3.1.0-1 |
1 |
0.23 |
Dafny is a verification-aware programming language |
tchajed
|
| key-exe-bin |
2.8.0-1 |
1 |
0.43 |
Java Software Verification Tool |
SeineEloquenz
|