Results for “vérification”

OnyX

System maintenance utility for cleanup, verification, and hidden settings. ![Freeware][Freeware Icon]

Antideo

10 API requests per hour for email verification, IP, and phone number validation in the free tier. No Credit Cards are required.

Emailvalidation.io

100 free email verifications per month

Maileroo

SMTP relay and email API for developers. 5,000 emails per month, unlimited domains, free email verification, blacklist monitoring, mail tester and more.

verimail.io

Bulk and API email verification service. 100 free verifications/month

veriphone

Global phone number verification in a free, fast, reliable JSON API. 1000 requests/month

Stackery CICD

Stackery Verification and Deployment Pipelines

KeY

Formal software development tool that aims to integrate design, implementation, formal specification, and formal verification of object-oriented software as seamlessly as possible. Uses JML for specification and symbolic execution for verification. (GPL-2.0-or-later)

SPARK

copyright: — Static analysis and formal verification toolset for Ada.

CPAchecker

A tool for configurable software verification of C programs. The name CPAchecker was chosen to reflect that the tool is based on the CPA concepts and is used for checking software programs.

TrustInSoft Analyzer

copyright: — Exhaustive detection of coding errors and their associated security vulnerabilities. This encompasses a sound undefined behavior detection (buffer overflows, out-of-bounds array accesses, null-pointer dereferences, use-after-free, divide-by-zeros, uninitialized memory accesses, signed overflows, invalid pointer arithmetic, etc.), data flow and control flow verification as well as full functional verification of formal specifications. All versions of C up to C18 and C++ up

deal

Design by contract for Python. Write bug-free code. By adding a few decorators to your code, you get for free tests, static analysis, formal verification, and much more.

AzSK

Secure DevOps kit for Azure (AzSK) provides security IntelliSense, Security Verification Tests (SVTs), CICD scan vulnerabilities, compliance issues, and infrastructure misconfiguration in your infrastructure-as-code. Supports Azure via ARM.

FVC2000 Fingerprint Databases

FVC2000 is the First International Competition for Fingerprint Verification Algorithms. Four fingerprint databases constitute the FVC2000 benchmark (3520 fingerprints in all).

Marianne

Hebdomadaire d'actualité

Euronews

Actualités européennes multilingues

SCMP

South China Morning Post

20 Minutes

Journal gratuit en ligne

Times of India

Quotidien indien en anglais

Substack

Plateforme de newsletters