Frama-C - PDFSEARCH.IO - Document Search Engine

Frama-C
Results: 134

#	Item
41	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:45 Computer programming Plug-in C Intermediate Language Software Computing Frama-C
42	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:02 Automaton Technology Computing Automata theory Software Frama-C Linear temporal logic
43	Value Analysis Frama-C’s value analysis plug-in NeonPascal Cuoq and Boris Yakobowski with Virgile Prevosto Add to Reading List Source URL: frama-c.com Language: English - Date: 2014-03-12 13:10:18 Function Expected value Program analysis Mathematics Software Frama-C
44	ACSL: ANSI/ISO C Specification Language Preliminary design (version 1.3, July 11, 2008) Patrick Baudin1 , Jean-Christophe Filliâtre4,3 , Claude Marché3,4 , Benjamin Monate1 , Yannick Moy2,4,3 , Virgile Prevosto1 Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:00 C programming language ANSI/ISO C Specification Language Procedural programming languages Frama-C Java Modeling Language KeY SQL Programming language C Computing Software engineering Computer programming
45	WP 0.6 (Draft Manual) WP Plug-in (Draft) Manual Version 0.6 for OxygenPatrick Baudin, Loïc Correnson, Zaynah Dargaye Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:56 Predicate transformer semantics Software Logic in computer science Hoare logic Frama-C Precondition Lambert W function Program logic Theoretical computer science Formal methods
46	Frama-C Training Session Introduction to ACSL and its GUI Virgile Prevosto CEA List October 21st , 2010 Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:57 ANSI/ISO C Specification Language C programming language Frama-C Program logic Logic in computer science Formal sciences Hoare logic Logic Polyspace Software engineering Computer programming Computing
47	ACSL Version 1.6 Implementation in Oxygen ACSL: ANSI/ISO C Specication Language Version 1.6 Oxygen Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:01 Data types C++ Pointer C Predicate Logic programming Pascal Function Dangling pointer Software engineering Computing Computer programming
48	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:02 Automaton Technology Computing Automata theory Software Frama-C Linear temporal logic
49	Value Analysis Frama-C’s value analysis plug-in Beryllium release Pascal Cuoq with Virgile Prevosto Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:53 Functions and mappings Function Program analysis Software Mathematics Frama-C
50	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:54 Function Expected value Program analysis Mathematics Software Frama-C