Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 225,190,174 papers from all fields of science
Search
Sign In
Create Free Account
Frama-C
Known as:
Why (software)
Frama-C stands for Framework for Modular Analysis of C programs. Frama-C is a set of interoperable program analyzers for C programs. Frama-C has been…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
20 relations
ANSI/ISO C Specification Language
Abstract interpretation
Abstract syntax tree
Alt-Ergo
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
An end-to-end framework for safe software development
Mahmoud Hussein
,
R. Nouacer
,
A. Radermacher
,
A. Puccetti
,
Christophe Gaston
,
Nicolas Rapin
Microprocessors and microsystems
2018
Corpus ID: 53286097
2017
2017
EVA, an Evolved Value Analysis for Frama-C : structuring an abstract interpreter through value and state abstractions
David Bühler
2017
Corpus ID: 171584727
Cette these propose un nouveau cadre pour la composition de domaines abstraits. L'idee principale en est l'organisation d'une…
Expand
2016
2016
Conc2Seq: A Frama-C Plugin for Verification of Parallel Compositions of C Programs
Allan Blanchard
,
N. Kosmatov
,
Matthieu Lemerre
,
F. Loulergue
IEEE Working Conference on Source Code Analysis…
2016
Corpus ID: 493610
Frama-C is an extensible modular framework for analysis of C programs that offers different analyzers in the form of…
Expand
2014
2014
StaDy: Deep Integration of Static and Dynamic Analysis in Frama-C
Guillaume Petiot
,
N. Kosmatov
,
Alain Giorgetti
,
J. Julliand
2014
Corpus ID: 67695102
We present StaDy, a new integration of the concolic test generator PathCrawler within the software analysis platform Frama- C…
Expand
2011
2011
A Mergeable Interval Map
Richard Bonichon
,
Pascal Cuoq
Stud. Inform. Univ.
2011
Corpus ID: 42741392
This article describes an efficient persistent mergeable data structure for mapping intervals to values. We call this data…
Expand
2011
2011
Fan-C , a Frama-C plug-in for data flow verification
Pascal Cuoq
,
David Delmas
,
Stéphane Duprat
,
Victoria Moya Lamiel
2011
Corpus ID: 36977509
interpretation, static analysis, value analysis, data flow analysis, avionics software, DO-178B, industrial application
2010
2010
Taster, a Frama-C plug-in to enforce Coding Standards
David Delmas
,
Stéphane Duprat
,
Victoria Moya Lamiel
,
Julien Signoles
2010
Corpus ID: 53696782
Enforcing Coding Standards is part of the traditional concerns of industrial soft- ware developments. In this paper, we present a…
Expand
2010
2010
Formal Specification and Automated Verification of Safety-Critical Requirements of a Railway Vehicle with Frama-C/Jessie
Kerstin Hartig
,
Jens Gerlach
,
J. Soto
,
Jürgen Busse
Symposium on Formal Methods for Automation and…
2010
Corpus ID: 36484267
Formal verification of software provides a higher level of assurance than classical software testing. In this paper, we report on…
Expand
2010
2010
Formal Verification of Industrial Software with Dynamic Memory Management
S. Labbé
,
Arnaud Sangnier
IEEE 16th Pacific Rim International Symposium on…
2010
Corpus ID: 707261
Tool-based analytic techniques such as formal verification may be used to justify the quality, correctness and dependability of…
Expand
2009
2009
Foncteurs impératifs et composés: la notion de projets dans Frama-C
Julien Signoles
Stud. Inform. Univ.
2009
Corpus ID: 29119504
This article describes the library of projects embedded in Frama-C, which is an extensible platform dedicated to development of…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE