Frama-C - PDFSEARCH.IO - Document Search Engine

Frama-C
Results: 134

#	Item
61	WP 0.7 WP Plug-in Manual Version 0.7 for FluorinePatrick Baudin, Loïc Correnson, Zaynah Dargaye Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:55 Computer programming Logic in computer science Predicate transformer semantics Frama-C Hoare logic Pointer Precondition Assertion Theoretical computer science Program logic Software engineering
62	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
63	WP (Draft Manual) WP Plug-in (Draft) Manual Release 1.0 Loïc Correnson, Zaynah Dargaye, Anne Pacalet Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:55 Predicate transformer semantics Software Frama-C Hoare logic Lambert W function Automated theorem proving Formal methods Program logic Theoretical computer science
64	Value Analysis Frama-C’s value analysis plug-in OxygenPascal Cuoq with Virgile Prevosto and Boris Yakobowski 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
65	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
66	ACSL: ANSI/ISO C Specification Language Preliminary design (version 1.2, April 30, 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 Java Modeling Language Frama-C KeY Programming language C SQL Logic programming Computing Software engineering Computer programming
67	Formal Verification in Aeronautics: Current Practice and Upcoming Standard Yannick Moy, AdaCore ACSL Workshop, Fraunhofer FIRST Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:57 Software Software requirements Embedded systems Safety DO-178C DO-178B Frama-C Formal verification Verification Software development Avionics Computing
68	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
69	The Mthread plugin Frama-C’s Mthread plug-in Version 0.9 for OxygenBoris Yakobowski with Richard Bonichon Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:45 Thread Parallel computing Futures and promises Graph Concurrency control Computing Concurrent computing Concurrency
70	Jessie Plug-In Tutorial Frama-C version: Carbon Jessie plug-in version: 2.28 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 Formal methods Procedural programming languages Automated theorem proving Pointer Memory safety ALGOL 68 IP Computing Software engineering Computer programming