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
Project cooperation
Dr Sandhya Patidar
Associate Professor at Heriot Watt University
Edinburgh, United Kingdom