Frama-C - PDFSEARCH.IO - Document Search Engine

Frama-C
Results: 134

#	Item
51	WP 0.7 WP Plug-in Manual Version 0.7 for FluorinePatrick Baudin, Loïc Correnson, Zaynah Dargaye Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:55 Hoare logic Frama-C Formal methods Lambert W function Program logic Predicate transformer semantics Software
52	The Mthread plugin Frama-C’s Mthread plug-in Version 0.9 for OxygenBoris Yakobowski with Richard Bonichon Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:45 Thread Parallel computing Futures and promises Graph Concurrency control Computing Concurrent computing Concurrency
53	Annotation Generation Frama-C’s annotation generator plug-inCarbon version Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:50 Data types Computer arithmetic C programming language Primitive types Procedural programming languages Frama-C Integer overflow C Undefined behavior Computing Software engineering Computer programming
54	Value Analysis Frama-C’s value analysis plug-inBoron version Pascal Cuoq with Virgile Prevosto Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:53 Function Program analysis Software Mathematics Frama-C
55	Metrics Frama-C’s metrics plug-inNitrogen) Richard Bonichon & Boris Yakobowski Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:47 Cyclomatic complexity Frama-C Geometry Abstract syntax tree Metric Complexity Software metrics Software engineering Software
56	Frama-C Training Session Tips and Tricks in Software Verification Virgile Prevosto CEA List October 22nd , 2010 Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:57 Formal specification Frama-C Software verification Specification Evaluation Technology ANSI/ISO C Specification Language Formal methods Software Technical communication
57	Developer Manual Plug-in Development Guide Release FluorineJulien Signoles with Loïc Correnson, Matthieu Lemerre and Virgile Prevosto Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:49 Computer programming Plug-in C Intermediate Language Software Computing Frama-C
58	Jessie Plugin Tutorial Beryllium Version Yannick Moy Claude Marché Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:56 Frama-C Pointer Memory safety C programming language Procedural programming languages Computer programming Computing Software engineering
59	User Manual Frama-C User Manual Release BoronLoïc Correnson, Pascal Cuoq, Armand Puccetti and Julien Signoles Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:51 Frama-C Program analysis Procedural programming languages Static program analysis Plug-in C D Computing Software engineering Computer programming
60	User Manual Frama-C User Manual Release OxygenLoïc Correnson, Pascal Cuoq, Florent Kirchner, Virgile Prevosto, Armand Puccetti, Julien Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:53 Program analysis Computer programming Static program analysis Plug-in Software Frama-C Computing