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
SciSure is a Scientific Management Platform built to support the full range of laboratory operations for scientific organizations. It combines ELN, LIMS, and Health & Safety functionality, giving teams a single system to document experiments, track sample lineage, manage chemical inventory, and run structured, audit-ready compliance processes.
Instead of relying on disconnected systems, organizations get one governed platform that improves reproducibility, increases visibility into lab operations, and reduces risk as they scale.
Learn more
CPillar
Conduct a swift and straightforward stability assessment of both surface and underground crown pillars, as well as laminated roof beds, through the utilization of three distinct limit equilibrium analysis techniques: rigid plate, elastic plate, and Voussoir (no tension) plate analysis. Additionally, carry out a probabilistic evaluation to ascertain the likelihood of failure by incorporating statistical distributions to account for variability in factors such as geometry, location of force application, joint and bedding strength, water pressure, external loads, and more. By executing a sensitivity analysis with a variety of values, you can assess how modifications to model parameters impact the factor of safety. The methodology, initially tailored for steeply dipping ore body configurations, allows for the estimation of crown geometry and the classification of stope geometry as either steep or shallow, thus enabling the application of the most relevant empirical relationships to your analysis. This comprehensive approach ensures a robust evaluation of stability across diverse geological conditions.
Learn more
DC-Software
DC-Software offers an extensive range of tools for foundation engineering and soil mechanics aimed at facilitating effective geotechnical analysis, as well as the planning, design, and sizing of foundations and retaining structures. The product line is primarily divided into two categories: DC-Foundation, which focuses on geotechnical calculations, groundwater management, and infiltration processes, and DC-Soil, which specializes in subsoil assessment through methods such as borehole profiling, geological cross-sections, geothermal drilling, historical load evaluations, and GIS integrated document management. Users can record geotechnical parameters in various formats, visualize subsoil investigation outcomes graphically, and conduct sophisticated calculations related to the stability of footings, slope and base failures, settlement issues, piles, reinforced earth structures, gabions, cantilever and retaining walls, excavation pits, soil nailing, underpinning, and other critical aspects of foundation work, typically adhering to applicable standards and regulations. Additionally, the software enhances collaboration among engineers by streamlining the documentation process and improving data accessibility for ongoing projects.
Learn more