×

Frama-C

swMATH ID: 4626
Software Authors: Patrick Baudin; Richard Bonichon; Loïc Correnson; Pascal Cuoq; Zaynah Dargaye; Jean-Christophe Filliâtre; Philippe Herrmann; Claude Marché; Benjamin Monate; Yannick Moy; Anne Pacalet; Virgile Prévosto; Julien Signoles and Boris Yakobowski
Description: Frama-C is a suite of tools dedicated to the analysis of the source code of software written in C. Frama-C gathers several static analysis techniques in a single collaborative framework. The collaborative approach of Frama-C allows static analyzers to build upon the results already computed by other analyzers in the framework. Thanks to this approach, Frama-C provides sophisticated tools, such as a slicer and dependency analysis.
Homepage: http://frama-c.com/
Programming Languages: C
Operating Systems: Windows and Unix (Linux, Mac OS X,…)
Dependencies: None
Keywords: extended static checking; static verification; theorem provers; Java Modeling Language; JML4; ESC; ESC4
Related Software: Why3; z3; Coq; ACSL; Boogie; VCC; Dafny; KRAKATOA; PVS; Spec#; VeriFast; JML; Viper; SIMPLIFY; Isabelle/HOL; cvc3; Caduceus; KeY; CVC4; SMT-LIB
Cited in: 40 Publications
all top 5

Cited by 91 Authors

3 Bobot, François
2 Appel, Andrew W.
2 Feron, Eric
2 Frade, Maria João
2 Garoche, Pierre-Loïc
2 Henrion, Didier
2 Kahl, Wolfram
2 Kosmatov, Nikolai
2 Moscato, Mariano M.
2 Müller, Peter
2 Muñoz, César A.
2 Pinto, Jorge Sousa
2 Schaefer, Ina
2 Summers, Alexander J.
2 Titolo, Laura
1 Abbasi, Rosa
1 Ahrendt, Wolfgang
1 Andronick, June
1 Anureev, Igor’ Sergeevich
1 Ayad, Ali
1 Baranowski, Marek
1 Barany, Gergö
1 Barrett, Clark W.
1 Beringer, Lennart
1 Blazy, Sandrine
1 Boström, Pontus
1 Botbol, Vincent
1 Botella, Bernard
1 Bouillaguet, Quentin
1 Butelle, Franck
1 Chailloux, Emmanuel
1 Collins, Peter J.
1 Conchon, Sylvain
1 Darulova, Eva
1 Davy, Guillaume
1 Dodds, Josiah
1 Duracz, Jan
1 Dutle, Aaron
1 Eilers, Marco
1 Feliú, Marco A.
1 Filliâtre, Jean-Christophe
1 Garzella, Jack J.
1 Giorgetti, Alain
1 Greenaway, David
1 Groves, Lindsay J.
1 He, Shaobo
1 Hills, Mark
1 Hivert, Florent
1 Iguernlala, Mohamed
1 Illous, Hugo
1 Jobredeaux, Romain
1 Julliand, Jacques
1 Khoroshilov, A. V.
1 Klein, Gerwin
1 Knüppel, Alexander
1 Konečný, Michal
1 Le Gall, Pascale
1 Le Gall, Tristan
1 Léchenet, Jean-Christophe
1 Leino, K. Rustan M.
1 Lemerre, Matthieu
1 Leroy, Xavier
1 Lourenço, Cláudio Belo
1 Mandrykin, M. U.
1 Marché, Claude
1 Mayero, Micaela
1 Meier, Severin
1 Monniaux, David P.
1 Niqui, Milad
1 Pantel, Marc
1 Pardylla, Carsten Immanuel
1 Paskevich, Andrei
1 Pearce, David J.
1 Petiot, Guillaume
1 Rakamarić, Zvonimir
1 Revol, Nathalie
1 Rival, Xavier
1 Roşu, Grigore
1 Roux, Pierre
1 Schiffl, Jonas
1 Schwerhoff, Malte
1 Sighireanu, Mihaela
1 Thüm, Thomas
1 Toumazet, Frédéric
1 Ulbrich, Mattias
1 Utting, Mark
1 Wang, Timothy E.
1 Wang, Wei
1 Wies, Thomas
1 Wiik, Jonatan
1 Yakobowski, Boris

Citations by Year