33 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.2.0-1 5 0.00 A platform for deductive program verification meanjollies
vrep 1:3_5_0-4 3 0.14 V-REP is the Swiss army knife among robot simulators. V-REP is used for fast algorithm development, factory automation simulations, fast prototyping and verification, robotics related education, remote monitoring, safety double-checking, etc. patrickelectric
verifast-bin 18.02-2 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
symbiyosys-git r127.e90bcb5-1 1 0.02 A front-end driver program for Yosys-based formal hardware verification flows benallard
spin 6.5.0-1 33 0.33 Tool for the formal verification of distributed software systems freswa
scv 2.0.1-1 0 0.00 SystemC verification library schulz
rescepy-git 47-1 3 0.00 automated srr (rescene) verification and reconstruction. dryes
phive 0.12.1-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 gergan_penkov
par2cmdline-git 20190605.641cc79-1 6 0.00 A file verification and repair tool BlackIkeEagle
openjml-bin 0.8.40-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. crave
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.13.9.1386-1 11 0.01 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-bin 2.6.3-2 0 0.00 Java Software Verification Tool csicar
gnome-twofactorauth-git v0.1.0-1 2 0.00 Two-Factor Authentication code generator for Gnome bil-elmoussaoui
git-evtag 2016.1-1 1 0.00 Extended verification for Git tags aperez
fstar-git 20180518-1 6 0.00 A Higher-Order Effectful Language Designed for Program Verification soimort
fstar-bin 0.9.6.0-2 4 0.00 A Higher-Order Effectful Language Designed for Program Verification soimort
fstar 0.9.6.0-1 3 0.00 A Higher-Order Effectful Language Designed for Program Verification soimort
fitsverify 4.19-1 3 0.00 A FITS file format-verification tool grahambell
debsig-verify-git 0.13.r8.6104eef-3 1 0.01 Debian package signature verification tool bok
dafny-git v2.2.0.r19.g45af975d-1 0 0.00 Dafny is a verification-aware programming language crave
dafny-bin 2.2.0-1 0 0.00 Dafny is a verification-aware programming language malet
boogie-git 0.r4273.bad6c01-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 fhahn
alt-ergo 2.2.0-1 1 0.00 SMT solver for software verification kaptoxic
abc-hg r3088.7cc77dc226de-1 1 0.00 System for Sequential Logic Synthesis and Formal Verification spaceships

33 packages found. Page 1 of 1.