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
Pylon's intuitive design software allows you to create accurate proposals from anywhere, in less than 2 minutes. Pylon is the only software that allows you to view high-resolution imagery within your app. Pylon's award winning 3D Solar Shading toolkit helps you identify and track shading impacts throughout the year. Pylon's load profile analysis and interval data analysis will help you and your team to better understand customer consumption patterns. Analyze load profiles & interval data. You can close more solar proposals by using interactive Web & PDF proposals and native eSignatures. Fully integrated solar CRM that integrates with your solar design software to convert proposals. Pylon Solar CRM offers 2-way SMS and email communications, team management, lead management and pre-made deal pipelines.
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
RS2
Regardless of whether your project pertains to civil engineering or mining, and whether it is situated above or below ground, RS2 provides a comprehensive platform for analyzing stress and deformation, ensuring stability, designing supports, and managing staged excavations seamlessly. The software incorporates an integrated seepage analysis tool that addresses groundwater flow in both steady-state and transient scenarios, making it ideal for evaluating dams, slopes, tunnels, and excavations. By utilizing the shear strength reduction method, RS2 automates slope stability assessments through finite element analysis, effectively determining the critical strength reduction factor. Additionally, various analysis methods such as slope stability, groundwater seepage, consolidation, and dynamic analysis can be employed for embankment evaluations. RS2 also features dynamic analysis capabilities and a wide array of advanced constitutive models to effectively model abrupt strength loss due to liquefaction. Designed for versatility, RS2 allows for the analysis of stability, stress, deformation, bench design, and support structures for both open-pit and underground excavations, ensuring comprehensive support across various engineering disciplines. This adaptability makes RS2 an invaluable tool for engineers seeking to optimize their project outcomes.
Learn more