TrustInSoft commercializes a source code analyzer called TrustInSoft Analyzer, which analyzes C and C++ code and mathematically guarantees the absence of defects, immunity of software components to the most common security flaws, and compliance with a specification. The technology is recognized by U.S. federal agency the National Institute of Standards and Technology (NIST), and was the first in the world to meet NIST’s SATE V Ockham Criteria for high quality software.
The key differentiator for TrustInSoft Analyzer is its use of mathematical approaches called formal methods, which allow for an exhaustive analysis to find all the vulnerabilities or runtime errors and only raises true alarms.
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.
The experts at TrustInSoft can also assist clients in training, support and additional services.
Learn more
Notifii Track, a cloud-based package tracker software, is available for apartment offices, university mailrooms and corporate mailrooms. You can quickly and easily log packages as they arrive. Notify the recipient automatically via email or text message. Capture signature proof-of-pickup/delivery. Notifii Track is a time-saver. It takes just a few seconds for a package to be scanned and increases package accountability. You can use Notifii Track via your web browser or any iOS/Android device. 30-day free trial.
Learn more
Fortran Package Manager
The Fortran Package Manager (fpm) serves as both a package manager and a build system specifically designed for Fortran. It boasts a wide array of available packages, contributing to a vibrant ecosystem of both general-purpose and high-performance code, enhancing accessibility for users. Aimed at improving the overall experience for Fortran developers, fpm simplifies the process of building Fortran programs or libraries, executing tests, running examples, and managing dependencies for other Fortran projects. Its design draws inspiration from Rust’s Cargo, creating an intuitive user interface. Additionally, fpm has a long-term vision focused on fostering the growth of modern Fortran applications and libraries. One notable feature of fpm is its plugin system, which facilitates the extension of its capabilities. Among these plugins is the fpm-search project, which enables users to query the package registry effortlessly, and because it is built with fpm, installation on any system is straightforward. This synergy not only streamlines the development process but also encourages collaboration among developers within the Fortran community.
Learn more
ContainerMath
ContainerMath is an innovative 3D load-planning tool that transforms chaotic cargo lists into efficient, balanced, and exportable packing strategies for various shipping methods, including cartons, crates, shipping containers, trailers, and rail wagons. Users can easily input their dispatch lists, packing lists, or Excel data, and the AI-driven manifest import comprehensively processes quantities, dimensions, and weights, standardizes units, and organizes the cargo for optimal planning. The Carton Fit feature identifies the optimal number of products that can fit into a shipping carton or crate, calculating the required boxes and optional weight thresholds. The Freight component skillfully organizes mixed cargo into highly efficient 3D load plans, taking into account actual geometry, orientation, stacking regulations, and pipe nesting as necessary. Additionally, interactive 3D visualizations and clear 2D cross-sections provide loading teams with a clear placement order, while analyses on center-of-gravity, payload capacity, weight distribution, and axle balance are crucial for ensuring safe and stable shipments. The platform's advanced features enhance overall shipping efficiency and help minimize logistical challenges faced during transit.
Learn more
