48 packages found. Page 1 of 1.

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

48 packages found. Page 1 of 1.