About
Frama-C is an open-source extensible and collaborative platform dedicated to source-code analysis of C software. The Frama-C analyzers assist in various source-code-related activities, from the navigation through unfamiliar projects up to the certification of critical software. See
Organisation
Similar opportunities
Expertise
Natural Language text Processing (NLP) with Natural Language Understanding (NLU)
Hristo Georgiev
owner of business at Langsoft - Sprachlernmittel
Walenstadt, Switzerland
Project cooperation
Next-Gen GenAI Agent Orchestration for Secure and Scalable Industrial Applications
- Partner seeks consortium
- HORIZON-CL4-2025-04-DATA-03: Software Engineering for AI and generative AI
Pierre SARAZIN
Nanoworks
Lyon, France
Expertise
AI-Driven Model-Based Software Engineering for Scalable and Sovereign Digital Transformation
- Big data & analytics
- Software technologies
- Artificial Intelligence (AI)
Eduarda Dinis
EU Project Manager at Quidgest
Lisbon, Portugal