Results for “formal verification”

16 tools in the directory · Updated 2 Nov 2026

“formal verification”Sign up onlineShowing 16 tools

Veriff Identity Verificationby VeriffAI-supported identity and document verification for business onboarding.$49+/moFree trial
Gitarby SonarAI code change verification agent for pull requests and CI$20+/user/moFree trial
Amazon Connect Healthby AmazonAWS agentic AI for patient verification, scheduling, clinical documentation and medical coding$99+/moFree trial
Learna AIby Learna AIAI language tutors for speaking practice and personalized lessonsUnknown
Novita AIby NovitaAIHosted model APIs, GPU infrastructure and agent sandboxes on one platformPay as you go
Resemble AIby Resemble AIDetect and watermark AI-generated audio, image and videoFreemium
Perplexityby PerplexityAI answer engine that searches the web and cites its sourcesFreemium
Face++by MEGVIIIntegrate face, body and text analysis into applicationsFreemium
HeyGenby HeyGenAI avatar video creation, translation and editing from scripts, images or audioFreemium
Gemini Notebookby GoogleFormerly NotebookLM: a source-grounded research assistant that chats with, and transforms, your own documents.Freemium
Doximity Askby DoximityClinical AI answers for physicians, with citations to guidelines and studies.Free
DeepL Translatorby DeepLText and document translation with glossaries and style rules, available on the web, as a Windows app, as browser extensions, and inside AI assistants via MCP.Freemium
Amazon Rekognitionby AmazonImage and video analysis APIs for labels, faces, text, and content moderationPay as you go
Amazon Connect Customerby AmazonAI-driven customer experience platform for voice, chat, email, and messagingPay as you go
Wordtuneby AI21 LabsAI writing assistant for rewriting, proofreading, translation and summarizing textFreemium
QuillBotby LearneoAI paraphrasing and writing tools for rewriting, checking and translating textFreemium