Frama-C - PDFSEARCH.IO - Document Search Engine

Frama-C
Results: 134

#	Item
111	Metrics Frama-C’s metrics plug-in Sodium[removed]Richard Bonichon & Boris Yakobowski Add to Reading List Source URL: frama-c.com Language: English - Date: 2015-03-17 11:33:41 Software Frama-C Cyclomatic complexity Software quality Abstract syntax tree Function point Software metrics Software engineering Computer programming
112	Aoraï Plugin Tutorial (A.k.a. LTL to ACSL) Nicolas Stouls and Virgile Prevosto [removed],[removed] Add to Reading List Source URL: frama-c.com Language: English - Date: 2015-03-17 11:33:40 Automaton Technology Computing Automata theory Software Frama-C Linear temporal logic
113	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
114	Aoraï Plugin Tutorial (A.k.a. LTL to ACSL) Nicolas Stouls and Virgile Prevosto [removed],[removed] Add to Reading List Source URL: frama-c.com Language: English - Date: 2015-03-17 11:33:40 Automaton Technology Computing Automata theory Software Frama-C Linear temporal logic
115	E-ACSL User Manual E-ACSL Plug-in Release[removed]compatible with Frama-C Add to Reading List Source URL: frama-c.com Language: English - Date: 2014-09-15 10:05:34 Computer programming Static program analysis Plug-in ANSI/ISO C Specification Language Software Computing Frama-C
116	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
117	ACSL Version 1.9 Implementation in Sodium[removed] ACSL: ANSI/ISO C Specification Language Version 1.9 – Sodium[removed] Add to Reading List Source URL: frama-c.com Language: English - Date: 2015-03-17 11:33:40 Procedural programming languages Data types C programming language Primitive types Pointer C++ C ANSI/ISO C Specification Language Dangling pointer Software engineering Computing Computer programming
118	E-ACSL Executable ANSI/ISO C Specification Language Version 1.8 E-ACSL Add to Reading List Source URL: frama-c.com Language: English - Date: 2014-03-12 13:10:16 C programming language Procedural programming languages ANSI/ISO C Specification Language C++ C Pointer Predicate Software engineering Computing Logic
119	E-ACSL Version 1.8 Implementation in Frama-C plug-in E-ACSL version 0.4.1 E-ACSL Executable ANSI/ISO C Specication Add to Reading List Source URL: frama-c.com Language: English - Date: 2014-09-15 10:32:28 Frama-C Cross-platform software C++ C++ classes C Predicate Pointer Computing Computer programming Software engineering
120	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