Researchclopedia

Research Researchers Institutions Topics Submit About

Command Palette

Search for a command to run...

Researchclopedia

Research Researchers Institutions About

© 2026 Researchclopedia. Powered by OpenAlex under CC0 license.

Back to research

Frama-C

2012331 citationsBook Chaptergreen Open Access

Authors

Pascal Cuoq · Laboratoire d'Intégration des Systèmes et des Technologies

Florent Kirchner · Commissariat à l'Énergie Atomique et aux Énergies Alternatives

Nikolaï Kosmatov · Commissariat à l'Énergie Atomique et aux Énergies Alternatives

Virgile Prévosto · Direction de la Recherche Fondamentale

Julien Signoles · Direction de la Recherche Fondamentale

Boris Yakobowski · Commissariat à l'Énergie Atomique et aux Énergies Alternatives

Topics & Keywords

Security and Verification in Computing Radiation Effects in Electronics Software Testing and Debugging Techniques

UN Sustainable Development Goals

Industry, innovation and infrastructure

Publication Details

Published in: Lecture notes in computer science

DOI: 10.1007/978-3-642-33826-7_16

Field-Weighted Citation Impact: 31.41

Frama-C | Researchclopedia