| 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-bin |
2.3.0-1 |
0 |
0.00 |
Dafny is a verification-aware programming language |
orphan
|
| dafny-git |
v2.2.0.r19.g45af975d-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
|
| 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
|
| 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-smime |
0.26-1 |
0 |
0.00 |
S/MIME message signing, verification, encryption and decryption |
jimmyxu
|
| perl-test-magpie |
0.11-1 |
0 |
0.00 |
Mocking framework with method stubs and behaviour verification |
orphan
|
| phive |
0.14.4-1 |
1 |
0.00 |
The Phar Installation and Verification Environment (PHIVE) |
KingCrunch
|
| python-oscrypto |
1.2.1-1 |
0 |
0.00 |
TLS (SSL) sockets, key generation, encryption, decryption, signing, verification and KDFs using the OS crypto libraries. |
electrickite
|
| 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-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 |
18.02-2 |
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 |
meanjollies
|
| why3-git |
0.72.r3740.g406e7f0-2 |
1 |
0.00 |
The next generation of the former software verification platform Why |
kaptoxic
|
| debsig-verify-git |
0.22.r0.8872a14-1 |
1 |
0.00 |
Debian package signature verification tool |
nightuser
|
| symbiyosys-git |
r180.23f8901-1 |
1 |
0.00 |
A front-end driver program for Yosys-based formal hardware verification flows |
benallard
|
| python-qiskit-ignis |
0.3.0-2 |
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.6.3-2 |
1 |
0.01 |
Java Software Verification Tool |
csicar
|
| cpachecker |
1.9-2 |
1 |
0.03 |
Tool for configurable software verification. |
daniel7
|
| roundcubemail-plugin-twofactor-git |
r191.261d14e-1 |
2 |
0.03 |
Adds two-step verification (TOTP) to the Roundcube login process |
morgenstern
|
| libdigidocpp |
3.14.3.1399-2 |
13 |
0.41 |
Library for creating, signing and verification of digitally signed documents, according to XAdES and XML-DSIG standards |
kevku
|
| endpoint-verification |
2019.10.07.c273328186_00-2 |
2 |
0.42 |
Endpoint Verification Helper for Chromium |
ilango100
|
| endpoint-verification-chrome |
2019.10.07.c273328186_00-2 |
2 |
0.42 |
Endpoint verification Helper for Google Chrome |
ilango100
|