MultiFreight
Avaal Express
Mapotempo Web
myEZClaim.com
Paragon
Freightdata 2000
CargoWiz
Skyfy Technology
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/
MultiFreight
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.
Avaal Express - Avaal Express is a software incorporating dispatching, fleet management, driver management, safety and compliance from a single platform.
Olympix - Secure your code as itโs written
Mapotempo Web - SaaS software, mobile application and APIs for route planning, route optimization and live tracking: delivery, pick-up, field service, sales. Free trial.
myEZClaim.com - TranSolutions is the leader in freight claim management software for shippers, carriers, brokers, and 3PLs. Learn how we can help you simplify your claims.
Paragon - Paragon offers routing, scheduling, and transport logistics optimization software.
Freightdata 2000 - Freightdata 2000: freight software for freight forwarders.