Echidna
Echidna is a Haskell program designed for fuzzing/property-based testing of Ethereum smart contracts. It uses sophisticated grammar-based fuzzing campaigns based on a contract ABI to falsify user-defined predicates or Solidity assertions. We designed Echidna with modularity in mind, so it can be easily extended to include new mutations or test specific contracts in specific cases. Generates inputs tailored to your actual code. Optional corpus collection, mutation and coverage guidance to find deeper bugs. Powered by Slither to extract useful information before the fuzzing campaign. Source code integration to identify which lines are covered after the fuzzing campaign. Interactive terminal UI, text-only or JSON output. Automatic test case minimization for quick triage. Seamless integration into the development workflow. Maximum gas usage reporting of the fuzzing campaign. Support for a complex contract initialization with Etheno and Truffle.
Learn more
Paradox Routing Tool
Paradox Routing Tool (PART) is a Windows based routing and scheduling software that can help with distribution network design, territory planning, route planning, shipment consolidation and carrier mode selection, and vehicle routing and scheduling. As a route planning tool, PART considers order and vehicle information, DOT regulations, and customer service level requirements to generate vehicle routes and schedules using powerful optimization algorithms resulting in the least distance and cost. Interfacing with Microsoft MapPoint and ALK Technologies’ PC*MILER suite, PART provides superior mapping, geo-coding, and pathfinding capabilities. PART’s Site Selection tool provides decision support in determining locations for an optimal number of facilities given the distribution of demand. Routing capabilities include multi-stop closed-loop and one-way routing, zone routing, and handling of backhauls.
Learn more
FleetVIP
FleetVIP fleet maintenance software gives you true calendar due dates for scheduled maintenance tasks defined in miles, hours or kilometers. Other highly-rated (and highly priced) fleet management software can not tell you the calendar due dates for these non-calendar tasks! Knowing accurate calendar due dates is the industry standard of project management and a major advantage FleetVIP brings to fleet maintenance tracking. Prints customized preventive maintenance checklists of upcoming scheduled vehicle maintenance. Complete vehicle maintenance log includes all fleet maintenance service history and costs. Automatically re-calculates future fleet maintenance due dates using mileage (or kilometers) from latest maintenance task entered. Prints reports of warranty work done, all work done, future due dates, scheduled maintenance, all or specific vehicles and more.
Learn more
Employee Transport Management
Employee Transport Management offers a comprehensive software solution designed to streamline and optimize corporate transportation services for organizations of all sizes. The platform provides multiple shift management capabilities, allowing companies to set default or custom shift rules and control various shift factors such as date, frequency, and sequence. With over 80 operational and user-based reports, the system enables detailed insights into daily operations, tracking, trip details, stop reports, maintenance, user activities, attendance, and driver behavior. The trip booking feature facilitates easy trip creation by entering start and end points and dates, automatically assigning employees to trips, and notifying drivers accordingly. Live trip statistics offer real-time information on employee attendance, vehicle trips, driver details, and complete trip manifests. The software ensures employee safety through real-time vehicle tracking, notifications, and special routing.
Learn more