Sumsub is a single verification platform that allows you to onboard more customers worldwide, speed up their access, reduce costs, and fight digital fraud. Sumsub combines effective verification flows with higher conversion rates worldwide through a powerful, all in one suite designed for a wide variety of needs: KYC/AML verification, KYB verifications, payment fraud prevention and face authentication.
Learn more
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
Siemens Precision
Precision provides a vendor-independent solution for FPGA synthesis, ensuring top-tier performance and area efficiency while offering robust design capabilities paired with strong connections to simulation and formal equivalency checking tools. Its products integrate seamlessly with Siemens' FormalPro LEC for equivalency verification and HDL Designer, facilitating design capture and verification in conjunction with ModelSim/Questa. The entry-level FPGA synthesis tool, Precision RTL, delivers exceptional quality results as a vendor-agnostic solution. In response to the needs of space and military aerospace applications, which often require specialized FPGAs equipped with inherent protection against SEEs, NanoXplore has launched new FPGA offerings aimed at this sector. Collaborating closely with NanoXplore, Precision Synthesis is the first to provide comprehensive synthesis support for the NG-Ultra device. Additionally, Precision boasts seamless integration with the NXmap place and route tool, effectively completing the design workflow from RTL through to gates and ultimately to bitstream generation. This integration not only streamlines the development process but also enhances the reliability of the final product, ensuring it meets industry standards.
Learn more
Questas
Questas is a web-based platform that empowers users to craft engaging, choose-your-own-adventure interactive tales utilizing AI-generated visuals and videos. With its user-friendly visual editor, anyone—regardless of their coding or artistic background—can swiftly develop intricate branching storylines; you input a scene or idea, and Questas produces relevant AI-generated artwork or footage, allowing you to create dynamic narratives where every choice alters the outcome. Users have the freedom to construct limitless “story trees,” each featuring endless branches, and enhance every point in the narrative with rich media, making the storytelling experience vibrant and immersive. The platform boasts a streamlined design, enabling users to easily create, rearrange, or remove “nodes” or narrative decisions, simplifying the narrative design process to the ease of editing a diagram. Besides crafting your own interactive experiences, Questas also provides access to a community library filled with curated adventures created by fellow users, which enriches the creative possibilities and fosters collaboration. This unique combination of tools and community support makes storytelling more accessible and enjoyable than ever before.
Learn more
