Frama-C - PDFSEARCH.IO - Document Search Engine

Frama-C
Results: 134

#	Item
31	A Case Study on Formal Verification of the Anaxagoros Hypervisor Paging System with Frama-C? Allan Blanchard1,3 , Nikolai Kosmatov1 , Matthieu Lemerre1 , and Fr´ed´eric Loulergue2,3 1 Add to Reading List Source URL: www.stance-project.eu Language: English - Date: 2015-04-03 04:39:13
32	The Why3 platform Version, May 2015 François Bobot1,2 Jean-Christophe Filliâtre1,2 Add to Reading List Source URL: why3.lri.fr Language: English - Date: 2015-05-22 01:14:27 Proof assistants Functional languages Theoretical computer science Formal methods Logic in computer science Frama-C SPARK Coq Isabelle OCaml Formal verification French Institute for Research in Computer Science and Automation
33	Testing static analyzers with randomly generated programs Pascal Cuoq1 , Benjamin Monate1 , Anne Pacalet2 , Virgile Prevosto1 , John Regehr3 , Boris Yakobowski1 , and Xuejun Yang3 1 Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2012-02-01 18:09:00 Programming language implementation Frama-C Software testing Debugging Software bug Compiler Interpreter Class Clang Software engineering Software Computer programming
34	Value Analysis Frama-C’s value analysis plug-in FluorinePascal Cuoq and Boris Yakobowski with Virgile Prevosto Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:46 Function Expected value Program analysis Mathematics Software Frama-C
35	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:53 Frama-C Mathematical analysis Function Expected value Logarithm Program analysis Mathematics Functions and mappings Software
36	SOURCE CODE ANALYSIS TOOLBOX FOR SOFTWARE SECURITY ASSURANCE The objective of STANCE is to enable the adoption of program analysis tools as part of security assurance practices and certification Add to Reading List Source URL: www.stance-project.eu Language: English - Date: 2015-04-28 04:21:11 Cyberwarfare Software Software quality Frama-C Static program analysis Vulnerability Software security assurance Security testing Application security Software testing Security Computer security
37	WP 0.8 WP Plug-in Manual Version 0.8 for NeonPatrick Baudin, François Bobot, Loïc Correnson, Zaynah Dargaye Add to Reading List Source URL: frama-c.com Language: English - Date: 2014-03-12 13:10:18 Computer programming Logic in computer science Predicate transformer semantics Frama-C Hoare logic Pointer Precondition Assertion Theoretical computer science Program logic Software engineering
38	ACSL Version 1.7 Implementation in Fluorine ACSL: ANSI/ISO C Specication Language Version 1.7 Fluorine Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:00 Data types Pointer C Predicate Logic programming Pascal Dangling pointer Software engineering Computing Computer programming
39	Jessie Plugin Tutorial Frama-C version: Boron Jessie plugin version: 2.26 Claude Marché1,3 , Yannick Moy2,3 , Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:46 Frama-C Procedural programming languages Pointer Memory safety C Computing Computer programming Software engineering
40	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