Frama-C - PDFSEARCH.IO - Document Search Engine

Frama-C
Results: 134

#	Item
101	ACSL: ANSI C Specification Language Preliminary design (version 1.2, March 4, 2008) Patrick Baudin1 , Jean-Christophe Filliâtre4,3 , Claude Marché3,4 , Benjamin Monate1 , Yannick Moy2,4,3 , Virgile Prevosto1 1 Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:01 Java Modeling Language Java platform Procedural programming languages Program analysis Frama-C KeY Programming language C SQL Computing Software engineering Software
102	LogoUniversite_ParisSud_P Add to Reading List Source URL: www.spark-2014.org Language: English - Date: 2015-02-05 02:16:49 Frama-C Coq ESC/Java Theorem prover SPARK OCaml Mathematical proof Software Computing Functional languages
103	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
104	ACSL: ANSI/ISO C Specification Language Version 1.9 ACSL: ANSI/ISO C Specification Language Version 1.9 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 ANSI/ISO C Specification Language Pascal Dangling pointer Software engineering Computing Programming language theory
105	WP 0.8 WP Plug-in Manual Version 0.9 for Sodium[removed]Patrick Baudin, François Bobot, Loïc Correnson, Zaynah Dargaye Add to Reading List Source URL: frama-c.com Language: English - Date: 2015-03-17 11:33:42 Computer programming Logic in computer science Predicate transformer semantics Frama-C Hoare logic Pointer Precondition Assertion Theoretical computer science Program logic Software engineering
106	ACSL: ANSI/ISO C Specification Language Version 1.6 ACSL: ANSI/ISO C Specication Language Version 1.6 Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:02 Data types C programming language Primitive types C++ Pointer C ANSI/ISO C Specification Language Pascal Logic programming Software engineering Computing Computer programming
107	ACSL Mini-Tutorial Virgile Prevosto1 1 CEA LIST, Software Security Laboratory, Saclay, F-91191 Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:01 C programming language C++ ANSI/ISO C Specification Language Data types Procedural programming languages Pointer ALGOL 68 C++ classes Reference Software engineering Computer programming Computing
108	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
109	WP 0.8 WP Plug-in Manual Version 0.9 for Sodium[removed]Patrick Baudin, François Bobot, Loïc Correnson, Zaynah Dargaye Add to Reading List Source URL: frama-c.com Language: English - Date: 2015-03-17 11:33:42 Computer programming Logic in computer science Predicate transformer semantics Frama-C Hoare logic Pointer Precondition Assertion Theoretical computer science Program logic Software engineering
110	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