Frama-C

Results: 134



#Item
61Computer programming / Logic in computer science / Predicate transformer semantics / Frama-C / Hoare logic / Pointer / Precondition / Assertion / Theoretical computer science / Program logic / Software engineering

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
62Automaton / Technology / Computing / Automata theory / Software / Frama-C / Linear temporal logic

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
63Predicate transformer semantics / Software / Frama-C / Hoare logic / Lambert W function / Automated theorem proving / Formal methods / Program logic / Theoretical computer science

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
64Function / Expected value / Program analysis / Mathematics / Software / Frama-C

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
65Frama-C / Procedural programming languages / Pointer / Memory safety / C / Computing / Computer programming / Software engineering

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
66C programming language / ANSI/ISO C Specification Language / Java Modeling Language / Frama-C / KeY / Programming language / C / SQL / Logic programming / Computing / Software engineering / Computer programming

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
67Software / Software requirements / Embedded systems / Safety / DO-178C / DO-178B / Frama-C / Formal verification / Verification / Software development / Avionics / Computing

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
68Function / Expected value / Program analysis / Mathematics / Software / Frama-C

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
69Thread / Parallel computing / Futures and promises / Graph / Concurrency control / Computing / Concurrent computing / Concurrency

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
70Frama-C / Formal methods / Procedural programming languages / Automated theorem proving / Pointer / Memory safety / ALGOL 68 / IP / Computing / Software engineering / Computer programming

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
UPDATE