TrustInSoft
Paris, France (UTC+1)
(4)
Paris, France (UTC+1)(4)
Overview
TrustInSoft provides 13+ years of specialized software verification from offices in Paris and San Francisco, offering formal verification, exhaustive static analysis, and Rust code analysis as core services delivered through a combined product and professional services model. The TrustInSoft Analyzer applies formal methods and abstract interpretation, augmented by AI-accelerated techniques and mathematical proofs, to find memory-safety issues, runtime errors and control-flow vulnerabilities in C/C++/Rust code with near-zero false positives. It supports aeronautics, automotive and industrial IoT clients seeking engineering-grade assurance and faster paths to safety certifications.
Quick Facts
- Year Founded
- 2013
- Company Size
- 51 - 200
- Avg. Hourly Rate
- $100/hr - $149/hr
- Min. Project Size
- $25,000
Specialties
- Formal Verification Software
- Static Code Analysis
- Software Safety Verification
- Secure Software Development
- C/C++ Code Verification
- Cybersecurity Assurance
- Critical Systems Validation
- Embedded Software Verification
- Compliance & Certification Support
- Software Reliability Testing
- Vulnerability Detection
- Automotive Software Safety
- Cyber Security
- Software Security
- Software Quality
- Code Quality
- Code Analysis
- Software Testing
- Formal Verification Software
- Static Code Analysis
- Software Safety Verification
- Secure Software Development
- C/C++ Code Verification
- Cybersecurity Assurance
- Critical Systems Validation
- Embedded Software Verification
- Compliance & Certification Support
- Software Reliability Testing
- Vulnerability Detection
- Automotive Software Safety
- Cyber Security
- Software Security
- Software Quality
- Code Quality
- Code Analysis
- Software Testing
Team Experience
- < 1 Year15%
- 1-2 Years31%
- 3-5 Years33%
- 6-10 Years15%
- 10+ Years6%
< 1 Year
15%
Median Employee Tenure:
2.9 years
Employee Growth in last 1 year:
8%
Offerings
Services
AI and Machine Learning
Cybersecurity
Software QA and Testing
Business Consulting
Software Product Development
Industries Served
Automotive
Business Consulting & Services
Engineering & Manufacturing
Government & Public Safety
Information Technology
Telecommunications
Expertise
Tech Stacks
C
C++
Python
Java
Rust
Tools
Docker
Git
Linux
Highlights
Notable Clients
Dassault Aviation
Easy Mile
IRSN
Mitsubishi
NIST
Location(s)
Primary Development Center & Headquarter
Other
Primary Development Center & Headquarter
Paris, France
20+ employees
Important Facts About France (PDC):
Literacy Rate- :
- 99%
English Proficiency- :
- Medium
GDP Per Capita- :
- $48,980
Income Category- :
- High
Other Locations
United States of America
1 Office