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

ONLYOFFICE Docs is a secure online office suite for teams and businesses of all sizes. Create and edit docs, sheets, slides, fillable forms and PDFs. Collaborate with your teammates in real time using two co-editing modes, version history and other tools. Enable the AI assistant of your choice — ChatGPT, DeepSeek, Mistral, Groq AI, etc. Generate new content, summarize, translate and do more with your favourite AI tool while working on office files.
Integrate ONLYOFFICE Docs into your business platform, whether it be Odoo, Alfresco, Confluence, Pipedrive, Nextcloud, Redmine, SuiteCRM, etc., via an integration app (40+ available integrations).
Use Docs within ONLYOFFICE DocSpace, a room-based document collaboration platform equipped with the online office suite. Create dedicated spaces for different purposes, invite your teammates, assign access permissions and collaborate the way you like. With DocSpace, you can store, share and co-edit office files, and even interact with third parties.
Learn more
Solar Pro 2
Upstage has unveiled Solar Pro 2, a cutting-edge large language model designed for frontier-scale applications, capable of managing intricate tasks and workflows in various sectors including finance, healthcare, and law. This model is built on a streamlined architecture with 31 billion parameters, ensuring exceptional multilingual capabilities, particularly in Korean, where it surpasses even larger models on key benchmarks such as Ko-MMLU, Hae-Rae, and Ko-IFEval, while maintaining strong performance in English and Japanese as well. In addition to its advanced language comprehension and generation abilities, Solar Pro 2 incorporates a sophisticated Reasoning Mode that significantly enhances the accuracy of multi-step tasks across a wide array of challenges, from general reasoning assessments (MMLU, MMLU-Pro, HumanEval) to intricate mathematics problems (Math500, AIME) and software engineering tasks (SWE-Bench Agentless), achieving problem-solving efficiency that rivals or even surpasses that of models with double the parameters. Furthermore, its enhanced tool-use capabilities allow the model to effectively engage with external APIs and data, broadening its applicability in real-world scenarios. This innovative design not only demonstrates exceptional versatility but also positions Solar Pro 2 as a formidable player in the evolving landscape of AI technologies.
Learn more
Magistral
Magistral is the inaugural language model family from Mistral AI that emphasizes reasoning, offered in two variants: Magistral Small, a 24 billion parameter open-weight model accessible under Apache 2.0 via Hugging Face, and Magistral Medium, a more robust enterprise-grade version that can be accessed through Mistral's API, the Le Chat platform, and various major cloud marketplaces. Designed for specific domains, it excels in transparent, multilingual reasoning across diverse tasks such as mathematics, physics, structured calculations, programmatic logic, decision trees, and rule-based systems, generating outputs that follow a chain of thought in the user's preferred language, which can be easily tracked and validated. This release signifies a transition towards more compact yet highly effective transparent AI reasoning capabilities. Currently, Magistral Medium is in preview on platforms including Le Chat, the API, SageMaker, WatsonX, Azure AI, and Google Cloud Marketplace. Its design is particularly suited for general-purpose applications that necessitate extended thought processes and improved accuracy compared to traditional non-reasoning language models. The introduction of Magistral represents a significant advancement in the pursuit of sophisticated reasoning in AI applications.
Learn more