Summary
This platform provides an open-source, extensible framework for the analysis of C software, focusing on enhancing code safety and security. It offers various analyzers that assist in navigating unfamiliar projects and certifying critical software. The framework employs formal methods to ensure the absence of bugs and undefined behaviors in C programs, making it suitable for educational, research, and industrial applications, including software certification for safety-critical standards.
Based on content on frama-c.com
No similar companies found
We offer API access to our data.
8 of 8 checks passed
Label
Value
Active Dates
14.7 years — Since Apr 2010
Web Hosting
Platform
E-Mail Provider
NAICS Code
511210
SIC 4 Digit Code
7371
SIC 2 Digit Code
73
Industry
1. Software Development and Analysis
2. Software Publishers
No vendors identified.
| Year | Jan | Feb | Mar | Apr | May | Jun | Jul | Aug | Sep | Oct | Nov | Dec |
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 2010 |
|
|
|
|
|
|
|
|
|
|
|
|
| 2011 |
|
|
|
|
|
|
|
|
|
|
|
|
| 2012 |
|
|
|
|
|
|
|
|
|
|
|
|
| 2013 |
|
|
|
|
|
|
|
|
|
|
|
|
| 2014 |
|
|
|
|
|
|
|
|
|
|
|
|
| 2015 |
|
|
|
|
|
|
|
|
|
|
|
|
| 2016 |
|
|
|
|
|
|
|
|
|
|
|
|
| 2017 |
|
|
|
|
|
|
|
|
|
|
|
|
| 2018 |
|
|
|
|
|
|
|
|
|
|
|
|
| 2019 |
|
|
|
|
|
|
|
|
|
|
|
|
| 2020 |
|
|
|
|
|
|
|
|
|
|
|
|
| 2021 |
|
|
|
|
|
|
|
|
|
|
|
|
| 2022 |
|
|
|
|
|
|
|
|
|
|
|
|
| 2023 |
|
|
|
|
|
|
|
|
|
|
|
|
| 2024 |
|
|
|
|
|
|
|
|
|
|
|
|