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
Dr Sandhya Patidar
Associate Professor at Heriot Watt University
Edinburgh, United Kingdom
Project cooperation
2 IDEA - Intelligent Integrated Development Environment Automation
- Consortium seeks partner(s)
- HORIZON-CL4-2025-04-DATA-03: Software Engineering for AI and generative AI
Oksana Nikiforova
Professor at Riga Technical University
Riga, Latvia