Le type de la couche
Software_ToolDev Tools
Frama-C améliore la qualité du code jusqu'à 25% grâce à une analyse statique et à la vérification précises des programmes C, à l'identification des vulnérabilités et à la conformité avec les normes de l'industrie telles que MISRA.
Information
- Product Type
- Software_Tool
- Industry
- Dev Tools
- Homepage
- https://www.frama-c.com/
Activity
- Recent Events
- 0
Recent Updates
No Updates Available
No recent updates have been reported for this product.