Trust
Security & compliance
The vendor hasn’t added security or compliance details yet.
Formal verification for embedded C/C++ security
Pricing
Custom quote
Founded
2013
Team size
11-50 employees
Headquarters
Paris, France
Preview from trust-in-soft.com
About TrustInSoft
TrustInSoft develops TrustInSoft Analyzer, a source-code analysis tool that uses formal verification and abstract interpretation to mathematically prove the absence of memory-safety and runtime errors in C, C++ and Rust. It offers exhaustive path coverage with very low false positives. Aimed at teams building safety- and security-critical software in aerospace, automotive, defense, semiconductors and industrial IoT.
Procurement & Fit
Structured facts from the vendor to help your security, finance, and procurement reviews move faster.
Pricing
Commercial model
Pricing model: Custom quote
Free trial: No
Free plan: No
Contract minimum: Not specified
Procurement
Purchasing & legal
The vendor hasn’t added purchasing & legal details yet.
Fit
Best-fit company size
Company-size fit has not been specified yet.
Buyer Fit & Positioning
Implementation & Procurement
Commercial Fit & Ecosystem
Proof, Outcomes & Momentum
Alternatives, Migration & Buyer Objections
Buy through Cubbie
TrustInSoft
TrustInSoft doesn’t have a live offer on Cubbie yet — but you can still buy it through us. Request it and Cubbie’s procurement team will source pricing, negotiate terms, and set up the purchase for you.
Want a negotiated price? Request a quote for TrustInSoft and Cubbie routes it to the vendor and our procurement team.