Frama-C: A software analysis perspective
By Florent Kirchner, Nikolai Kosmatov, Virgile Prevosto, Julien Signoles, Boris Yakobowski. 2015
595 citations recorded by the source corpus.
Subfields: Artificial Intelligence, Electrical and Electronic Engineering, Software
How researchers see this paper
The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.
In Artificial Intelligence
- Clark W. Barrett
- Cesare Tinelli
- Steven Diamond
- Andrew Reynolds
- Akshay Agrawal
- Robin Verschueren
- Amit Vasudevan
- Aina Niemetz
In Electrical and Electronic Engineering
- Steven Diamond
- Akshay Agrawal
- Amit Vasudevan
- Stephen P. Boyd
- Petros Maniatis
- Mung Chiang
- D. P. Palomar
In Software
Citations in the corpus
- A Rewriting System for Convex Optimization Problems (2017, methodology): “Whereas the second phase of a compiler optimizes programs (Aho et al., 2006, § 1.2.5), the second phase of our rewriting system analyzes problems, selecting for each a suitable target; an imperfect analogy might compare our analysis phase to a static analysis tool like Frama-C (Kirchner, Kosmatov, P”
- überSpark: Enforcing Verifiable Object Abstractions for Automated Compositional Security Analysis of a Hypervisor (2016, methodology): “üObjects, including prime and sentinel, are automatically and modularly verified using Frama-C [41], an industrial-strength software analysis and verification framework.”
- cvc5: A Versatile and Industrial-Strength SMT Solver (2022, background): “…solvers are widely recognized as crucial back-end reasoning engines for a variety of applications, including software and hardware verification [19, 52, 60, 68, 82, 86], model checking [41, 42, 98], type checking, static analysis, security [10,62], automated test-case generation [40,135],…”