
Tentrucks
Transplace TMS
BeyondTrucks
Dynamics TMSยฎ
FleetCommand.io
Haulk App
Logistically TMS
Real Time Freight TMS
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/
Tentrucks
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.
Transplace TMS - Only Transplace delivers the optimal blend of proven intelligence and operational excellence you need to manage your supply chain with certainty.
Olympix - Secure your code as itโs written
BeyondTrucks - Without a doubt, the most advanced replacement for your Legacy TMS.
Dynamics TMSยฎ - Dynamics TMSยฎ is a transportation management software that helps you manage the transportation of goods, information, and people.
FleetCommand.io - Effortless Maintenance & Dispatch Management for Trucking Companies
Haulk App - The Haulk app connects carriers, shippers and brokers into an all-in-one trucking platform. Leave paperwork behind and spend time on what really matters