Frama-C - PDFSEARCH.IO - Document Search Engine

Frama-C
Results: 134

#	Item
81	Value Analysis Frama-C’s value analysis plug-inCarbon) Pascal Cuoq with Virgile Prevosto Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:54 Frama-C Mathematical analysis Function Expected value Logarithm Program analysis Mathematics Functions and mappings Software
82	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
83	User Manual Frama-C User Manual Release FluorineLoï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:52 Program analysis Computer programming Static program analysis Plug-in Software Frama-C Computing
84	Basic ACSL Features Jochen Burghardt Oct. 21th, Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:57 C++ D Assertion Unit testing C++11 C syntax Computer programming Computing Software engineering
85	WP (Draft Manual) WP Plug-in (Draft) Manual Frama-C Carbonbeta-2 Loïc Correnson, Zaynah Dargaye, Anne Pacalet Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:55 Predicate transformer semantics Software Frama-C Hoare logic Lambert W function Automated theorem proving Formal methods Program logic Theoretical computer science
86	Aoraï Plugin Tutorial (A.k.a. LTL to ACSL) Nicolas Stouls and Virgile Prevosto , Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:03 Automaton Technology Computing Automata theory Software Frama-C Linear temporal logic
87	Automatic Test Generation Tool For C Programs User Manual Version 3.1 Contact: Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:45 Ubuntu OCaml Linux Almquist shell Debian Installation Software Computing Cross-platform software
88	Aoraï Plugin Tutorial (A.k.a. LTL to ACSL) Nicolas Stouls and Virgile Prevosto , Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:03 Automaton Technology Computing Automata theory Software Frama-C Linear temporal logic
89	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
90	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:46 Computer programming Logic in computer science Predicate transformer semantics Frama-C Hoare logic Pointer Precondition Assertion Theoretical computer science Program logic Software engineering