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

Your mission-critical systems carry the weight of your entire organization. Protecting them shouldn't leave you guessing about hidden vulnerabilities or compliance risks.
Rocket® z/Assure™ Vulnerability Analysis Program (VAP) is a specialized mainframe security solution built to proactively scan and safeguard your most valuable environments. By identifying system-level risks before they become active threats, we partner with you to ensure your infrastructure remains locked down, resilient, and fully compliant. We understand the responsibility of managing enterprise security, and our tool gives you the exact insights you need to confidently eliminate weak points.
Key benefits for your security team:
- Identify and resolve hidden vulnerabilities with deep, automated scanning.
- Protect your mission-critical data from evolving external and internal threats.
- Streamline compliance reporting with clear, actionable security insights.
Take control of your mainframe security. Partner with Rocket Software to protect your digital foundation today.
Learn more
SWE-2
SWE-2 is a software engineering model from Cognition built for agentic coding tasks that require strong performance at lower computational and monetary cost. It is post-trained from the Kimi K3 base model and extends Cognition’s earlier SWE-1.7 training approach with a new reinforcement learning method for jointly optimizing multiple reasoning-effort settings. Medium, high, and maximum effort modes provide different tradeoffs between speed, cost, exploration, and verification depending on task complexity. The model is trained to inspect only the parts of a codebase that are likely to matter, helping it reach implementation faster and reduce unnecessary exploration. SWE-2 can generate and modify code, run tests, analyze repositories, work through terminal tasks, and verify whether implementations satisfy user requirements. Cognition also reports improvements in end-to-end test creation, regression detection, instruction following, and re-deriving conclusions when challenged. Its training process incorporates cost-aware rewards, length-weighted reward baselines, expanded reinforcement learning environments, and hardened verifiers intended to improve both efficiency and reliability. SWE-2 is positioned as a cost-efficient alternative to larger frontier coding models while remaining competitive on software engineering benchmarks such as FrontierCode, DeepSWE, and Terminal-Bench. The model is available in Devin Desktop and Devin CLI and is being introduced to additional Cognition products including Devin Web and Fusion.
Learn more
JOPAZ
JOPAZ enhances mainframe efficiency by intelligently reallocating processing resources through optimized COBOL workload distribution. This innovative solution empowers businesses to maximize their capabilities on IBM Z, where COBOL applications continue to drive essential operations supported by the platform's inherent resilience, security, and scalability. As workloads increase and general processor capacity becomes limited, JOPAZ effectively redistributes application tasks to the IBM z Integrated Information Processor (zIIP) by converting COBOL source code into Java bytecode. This strategic shift alleviates high-utilization demands on general processors, thus freeing up crucial resources while simultaneously boosting efficiency and performance. Moreover, it creates additional capacity for critical projects without necessitating any modifications to existing code. JOPAZ enables teams to retain their COBOL applications, mitigate COBOL workload pressure on general processors, sidestep data migration challenges, and uphold source code management using familiar development tools, allowing for a smooth and seamless operational transition. Ultimately, this approach ensures that organizations can focus on innovation while maintaining the integrity of their legacy systems.
Learn more