TrustInSoft Analyzer is a C/C++/Rust source code analyzer powered by formal methods, mathematical & logical reasonings that allow for exhaustive analysis of source code. This analysis can be run without false positives or false negatives, so that every real bug in the code is found. Developers receive several benefits: a user-friendly graphical interface that directs developers to the root cause of bugs, and instant utility to expand the coverage of their existing tests. Unlike traditional source code analysis tools, TrustInSoft’s solution is not only the most comprehensive approach on the market but is also progressive, instantly deployable by developers, even if they lack experience with formal methods, from exhaustive analysis up to a functional proof that the software developed meets specifications.
Companies who use TrustInSoft Analyzer reduce their verification costs by 4, efforts in bug detection by 40, and obtain an irrefutable proof that their software is safe and secure.
Learn more
JOpt.TourOptimizer is an enterprise route optimization and scheduling engine for logistics, dispatch, transportation, and field service operations. It solves VRP, CVRP, VRPTW, pickup and delivery, multi-depot planning, heterogeneous fleet routing, and workforce scheduling under real-world business constraints.
The platform supports time windows, working hours, capacities, skills and expertise levels, territories, zone governance, overnight stays, alternate destinations, and custom business rules. Available as a Java SDK and Docker-based REST API with OpenAPI/Swagger, JOpt.TourOptimizer integrates into existing software platforms.
It helps organizations improve planning efficiency, service quality, transparency, SLA compliance, and operational reliability at scale. It is designed for software vendors, enterprise developers, and operations teams that need scalable optimization technology for production use, not just basic route calculation.
Learn more
zehnplus
zehnplus develops software products with custom solutions that help organizations turn data into knowledge to connect, inform, and engage with their audiences.
Our solutions include intranet, community and knowledge management platforms and wiki's aswell as smart FAQ software, enhanced with AI.
We are enthusiastic strategists, designers, and developers who use many years of technical know-how with great love for the highest possible customer satisfaction.
We have a profound knowledge of digital, artificial intelligence (AI) and transformation technologies. All our custom developments and products have at their core our unique data distribution engine called Wisdom Integration Engine, powered by the latest AI technologies and digital solutions.
As a leading full service provider from Zürich, Switzerland, zehnplus offers high-quality, sustainable and cost-efficient solutions. We offer strategic know-how as well as project management and develop tailor-made solutions.
Learn more