4.7 out of 5 stars
(6 Ratings)
Traild is an accounts payable automation platform designed to streamline, secure, and modernize AP processes. It integrates seamlessly with leading ERP and accounting systems to automate invoice processing, approvals, and payments. Traild intelligently triages AP workloads by auto-approving low-risk invoices while routing high-risk invoices to relevant approvers for digital review. The platform is built with fraud prevention at its core, using AI-driven risk detection to identify errors, duplicates, and suspicious activity before payments are made. Real-time visibility gives finance leaders complete control over invoices, approvals and payments. Traild supports complex, industry-specific workflows across sectors like manufacturing, construction, distribution, healthcare, and energy. By reducing manual AP effort and improving accuracy, Traild enables finance teams to focus on strategic decision-making instead of paperwork.
Learn more about Traild
4.3 out of 5 stars
(6 Ratings)
TrustInSoft Analyzer (TISA) is formal verification for embedded software teams. It uses AI-assisted formal methods to mathematically verify C, C++, and Rust code, proving the absence of runtime errors and undefined behavior such as buffer overflows, uninitialized memory, use-after-free, and integer overflows.
Whether code is written by your developers or generated with AI, TrustInSoft Analyzer considers every execution path, not a sample of them. When replaying your existing tests, it reports no false positives and no false negatives for undefined behavior. With input generalization, it extends the analysis to all possible input values. In multi-threaded code, it detects race conditions as a class of undefined behavior.
The Root Cause Investigator traces each alarm back to its origin. The TISA Project Manager lets teams set up, run, and report on analysis campaigns from a graphical interface. Analysis reflects your target hardware characteristics without needing the hardware itself.
Teams use it to reduce verification effort, produce evidence for standards of work such as ISO 26262, ISO 21434 and DO178C, and release with greater confidence.
Learn more about TrustInSoft Analyzer
CableCalc BS7671 18-2
CableCalc BS7671 is advanced electrical calculation and design software aligned with the latest BS7671:2018+A2:2022 Requirements for Electrical Installations (IET Wiring Regulations 18th Edition Amendment 2) that helps professionals size cables, evaluate circuits, and design distribution board projects with precision. It supports both single- and three-phase calculations for radial, ring, and sub-main circuits, calculating voltage drop, disconnection time, fault current, earth fault information, overload, short-circuit parameters, and correction factors such as temperature and grouping. It offers comprehensive databases of copper cables and protective devices to streamline selection and includes tools to generate detailed calculation documents, schedules, single-line diagrams, and schematic drawings for jobs ranging from simple circuits to multi-distribution board projects.
Learn more about CableCalc BS7671 18-2