TrustInSoft Analyzer is a C/C++/Rust source code analyzer powered by formal methods, mathematical & logical reasonings that allow for exhaustive analysis of source code. This analysis can be run without false positives or false negatives, so that every real bug in the code is found. Developers receive several benefits: a user-friendly graphical interface that directs developers to the root cause of bugs, and instant utility to expand the coverage of their existing tests. Unlike traditional source code analysis tools, TrustInSoft’s solution is not only the most comprehensive approach on the market but is also progressive, instantly deployable by developers, even if they lack experience with formal methods, from exhaustive analysis up to a functional proof that the software developed meets specifications.
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.
Learn more
SurveyLegend is the next generation of online surveys — engaging, platform-independent, & beautiful. We empower companies - large & small - & individuals, to create mobile-friendly, gorgeous surveys.
Create great-looking surveys, forms, polls, voting, questionnaires, NPS, customer satisfaction, customer experience, employee satisfaction surveys... on your computer or tablet, customize the look of your survey however you like, & display collected data with eye-catching and insightful graphics.
Creating questionnaires is done simply by drag & drop, & you don't need to be a market research expert to use our tool.
It has never been this easy to listen to customer demand, measure customer or employee satisfaction, manage client experience, or maintaining student & employee engagement.
SurveyLegend has users all over the world, from amazing companies like L'Oréal, Universal, Harvard, Greenpeace, Airbnb, Sony, CocaCola, Roche, to awesome start-up companies and individuals.
Learn more
CentiLeo
Fast and easy to use GPU path tracer. CentiLeo is a fast GPU renderer integrated with 3ds Max and Cinema 4D supporting GPU VRAM software extension and with high efficiency for scenes with complex lighting. For 3ds Max and Cinema 4DCentiLeo is an offline GPU renderer with very fast unbiased path tracing for complex lighting. It supports huge scene assets with GPU-accelerated out-of-core technology that effectively renders the polygon counts, particles and textures that may not fit entirely to GPU memory. This feature extends GPU memory limits for geometry/particles by 4x and for texture memory limits by 100x. CentiLeo supports Interactive Preview Render, node-based material & shader editing, displacement mapping, motion blur, subsurface scattering, fast noise reduction for multi-materials, glass objects and mesh lights. CentiLeo is supported by Skolkovo Foundation, some of software R&D results were supported by Skolkovo grants.
Learn more
