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 all top 5 Cited in 10 Serials 4 Formal Aspects of Computing 2 Journal of Automated Reasoning 2 Formal Methods in System Design 2 Journal of Logical and Algebraic Methods in Programming 1 Programming and Computer Software 1 Annals of Mathematics and Artificial Intelligence 1 Optimization and Engineering 1 Joint Bulletin of the Novosibirsk Computing Center (NCC) and A. P. Ershov Institute of Informatics Systems (IIS). Series: Computer Science 1 Mathematics in Computer Science 1 Computer Science Review all top 5 Cited in 8 Fields 39 Computer science (68-XX) 7 Mathematical logic and foundations (03-XX) 6 Numerical analysis (65-XX) 3 Operations research, mathematical programming (90-XX) 1 General and overarching topics; collections (00-XX) 1 Combinatorics (05-XX) 1 Topological groups, Lie groups (22-XX) 1 Mathematics education (97-XX) Citations by Year