Frama-C - PDFSEARCH.IO - Document Search Engine

Frama-C
Results: 134

#	Item
21	Value Analysis Frama-C’s value analysis plug-in MagnesiumPascal Cuoq and Boris Yakobowski with Virgile Prevosto Add to Reading List Source URL: www.frama-c.com Language: English - Date: 2016-01-18 10:12:20
22	WP 0.9 WP Plug-in Manual Version 0.9 for MagnesiumPatrick Baudin, François Bobot, Loïc Correnson, Zaynah Dargaye Add to Reading List Source URL: www.frama-c.com Language: English - Date: 2016-02-03 05:16:07
23	User Manual Frama-C User Manual Release MagnesiumLoïc Correnson, Pascal Cuoq, Florent Kirchner, Virgile Prevosto, Armand Puccetti, Julien Add to Reading List Source URL: frama-c.com Language: English - Date: 2016-01-18 10:12:20
24	Practical introduction to Frama-C (without Mathematical notations ;-) ) David MENTRÉ <> Using content of Jochen Burghardt (Fraunhofer First), Virgile Prevosto (CEA), Julien Signoles (CEA), Nikol Add to Reading List Source URL: blog.bentobako.org Language: English - Date: 2013-10-04 05:36:33
25	CLANG AS A C++ FRONT-END FOR SOFTWARE ANALYSIS Funded by the FP7 programme of the European Union Frama-C is a software Add to Reading List Source URL: www.stance-project.eu - Date: 2014-11-14 04:34:57
26	Event-B & Cloud Provers A. Iliasov D. Adjepon-Yamoah P. Stankaitis Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2015-09-02 07:29:35 Software Theoretical computer science Formal methods Logic in computer science Automated theorem proving Constraint programming Predicate logic Frama-C Satisfiability modulo theories TPTP Mereology SPASS
27	Contributions to AI4FM 2015 The 6th International Workshop on the use of AI in Formal Methods Andrius Velykis Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2015-09-02 07:29:36 Software Theoretical computer science Formal methods Automated theorem proving Logic in computer science Proof assistants Formal verification Automated reasoning KeY Prover9 Frama-C First-order logic
28	Frama-C A Software Analysis Perspective∗ Pascal Cuoq, Florent Kirchner, Nikola¨ı Kosmatov, Virgile Prevosto, Julien Signoles, and Boris Yakobowski with Patrick Baudin, Richard Bonichon, Bernard Botella, Lo¨ıc Corre Add to Reading List Source URL: www.stance-project.eu Language: English - Date: 2014-11-10 08:50:07
29	CLANG AS A C++ FRONT-END FOR SOFTWARE ANALYSIS Funded by the FP7 programme of the European Union Frama-C is a software Add to Reading List Source URL: llvm.org - Date: 2014-04-09 12:39:10
30	Frama-Clang: a Frama-C front-end for C++ Virgile Prevosto and Franck V´edrine CEA, LIST March, 26th , 2014 Add to Reading List Source URL: www.stance-project.eu Language: English - Date: 2014-04-04 05:40:47