Frama-C - PDFSEARCH.IO - Document Search Engine

Frama-C
Results: 134

#	Item
121	Value Analysis Frama-C’s value analysis plug-in Sodium[removed]rc2 Pascal Cuoq and Boris Yakobowski with Virgile Prevosto Add to Reading List Source URL: frama-c.com Language: English - Date: 2015-03-17 11:33:42 Data types Frama-C Source code Function Pointer Subroutine Computer programming Computing Software engineering
122	User Manual Frama-C User Manual Release Sodium[removed]Loïc Correnson, Pascal Cuoq, Florent Kirchner, Virgile Prevosto, Armand Puccetti, Julien Add to Reading List Source URL: frama-c.com Language: English - Date: 2015-03-17 11:33:42 Program analysis Static program analysis Computer programming Plug-in Software Computing Frama-C
123	Developer Manual Plug-in Development Guide Release Sodium[removed]Julien Signoles with Loïc Correnson, Matthieu Lemerre and Virgile Prevosto Add to Reading List Source URL: frama-c.com Language: English - Date: 2015-03-17 11:33:41 Frama-C Build automation Compiling tools Plug-in C Intermediate Language Make Software Computing Computer programming
124	Annotation Generation Frama-C’s annotation generator plug-in for Frama-C Sodium[removed] Add to Reading List Source URL: frama-c.com Language: English - Date: 2015-03-17 11:33:41 Data types Computer arithmetic C programming language Primitive types Software bugs Frama-C Integer overflow C Undefined behavior Computing Software engineering Computer programming
125	Specification and Proof of Programs with Frama-C SAC 2013 Tutorial Nikolai Kosmatov, Virgile Prevosto, Julien Signoles CEA LIST Add to Reading List Source URL: kosmatov.perso.sfr.fr Language: English - Date: 2013-03-25 09:07:11 Formal methods Frama-C ANSI/ISO C Specification Language Program logic Theoretical computer science Formal verification Hoare logic Mathematical proof Automated theorem proving Software engineering Software Computing
126	PDF Document Add to Reading List Source URL: ec.europa.eu Language: English - Date: 2012-02-01 08:24:32 Computer programming Computing Frama-C Areva Technology
127	Why3 Modern automatic theorem prover Based on SMT technology Qualification DO-178 B/C (avionic) Used in industrial world Add to Reading List Source URL: alt-ergo.ocamlpro.com Language: English - Date: 2014-07-02 21:39:26 Ada programming language Formal methods Frama-C SPARK Logic in computer science Automated theorem proving AdaCore Ada Formal verification Computing Software engineering Computer programming
128	The Jessie plugin for Deductive Verification in Frama-C Tutorial and Reference Manual Version 2.34 Add to Reading List Source URL: krakatoa.lri.fr Language: English - Date: 2014-03-17 18:14:41 Procedural programming languages Data types Frama-C Pointer C Array data type D ALGOL 68 Memory safety Computing Software engineering Computer programming
129	INFORMATION AND COMMUNICATION TECHNOLOGIES (ICT) PROGRAMME Project FP7-ICT-2009-C[removed]CerCo Add to Reading List Source URL: cerco.cs.unibo.it Language: English - Date: 2013-05-14 11:42:00 Procedural programming languages Embedded systems Frama-C Compiler Worst-case execution time C Software Computing Programming language implementation
130	INFORMATION AND COMMUNICATION TECHNOLOGIES (ICT) PROGRAMME Project FP7-ICT-2009-C[removed]CerCo Add to Reading List Source URL: cerco.cs.unibo.it Language: English - Date: 2013-05-14 11:38:04 Programming language implementation Functional languages Procedural programming languages Compiler construction Type theory Compiler OCaml Porting Frama-C Computing Software engineering Computer programming