
Trakker
Fleetio
Connect Fleet
FleetCommander
Loandisk
FleetDomain
Axe Finance
Relational i-Apply
AuditHub
Olympix
AuditHub is a blockchain security platform that provides continuous automated security for smart contracts and zero-knowledge circuits. Built by Veridise, AuditHub combines four proprietary tools: Vanguard (smart contract static analysis), OrCa (specification-guided fuzzing), Picus (ZK circuit formal verification), and ZK Vanguard (ZK circuit static analysis). The platform enables development teams and audit firms to catch critical vulnerabilities before deployment through mathematical verification rather than point-in-time manual audits.
Built by Veridise. https://veridise.com/
Trakker
AuditHubNo features have been listed yet.
AuditHub's answer:
AuditHub's answer:
The tools in AuditHub trace directly to the UToPiA research group at UT Austin, led by Professor Isil Dillig. Starting in 2018, program analysis for smart contracts became a central research focus. The result: peer-reviewed breakthroughs that now run in production.
Fleetio - Easily manage vehicles and equipment with Fleetio, a modern fleet management software.
Olympix - Secure your code as itโs written
Connect Fleet - Industry-leading fleet management & operations software to help businesses better manage their valuable assets & optimise operations. Easily track, monitor & manage your fleet in real time, with full operational visibility.
FleetCommander - Online automated vehicle sharing & fleet management solution
Loandisk - Loandisk is a cloud based lending software that manage all customer loans and repayments.
FleetDomain - FleetDomain - Reliable, innovative, and cost-effective fleet management system. Manage vehicles, drivers, fuel, maintenance, rentals, workshops, documents, fines, licences and much more.