unification of critical c code analysis techniquesframa-c.com/u3cat/download/posterstic10.pdf ·...

1

Unification of Critical C Code Analysis Techniques Partenaires: Airbus France Atos Origin CEA List CNAM CS Dassault Aviation INRIA Rennes INRIA Rocquencourt INRIA Saclay Sagem Défense Sécurité Objectifs: améliorer et promouvoir Frama-C Atelier dédié à l'analyse de programmes C Gestion de nouveaux types de propriétés Amélioration de la précision des résultats Éléments de confiance dans les outils Intégration dans le cycle de développement Communauté d'utilisateurs Communauté de développeurs Nouvelles propriétés WP1 Calculs en virgule flottante WP2 Propriétés temporelles Précision des résultats WP3 Combinaison d'analyses statiques Collaboration entre greffons de Frama-C Interface avec des outils externes Utilisation de la plateforme WP4 Aide à la preuve WP6 Dissémination Programme systèmes embarqués et grandes infrastructures 2008 contacts: [email protected] http://frama-c.com/u3cat dates: 2009-2011 Éléments de confiance Qualification Formalisation Certification WP5 interprétation abstraite vérification déductive greffons slicing extensibilité open-source dépendances impact ACSL spécifications

Upload: others

Post on 15-Jul-2020

1 views

Category:

Documents

0 download

Report

Download

Embed Size (px):

TRANSCRIPT

Page 1: Unification of Critical C Code Analysis Techniquesframa-c.com/u3cat/download/PosterSTIC10.pdf · Unification of Critical C Code Analysis Techniques Partenaires: Airbus France Atos

Unification of Critical C Code Analysis Techniques

Partenaires:Airbus FranceAtos OriginCEA ListCNAMCS

Dassault AviationINRIA RennesINRIA RocquencourtINRIA SaclaySagem Défense Sécurité

Objectifs: améliorer et promouvoir Frama-CAtelier dédié à l'analyse de programmes CGestion de nouveaux types de propriétésAmélioration de la précision des résultatsÉléments de confiance dans les outilsIntégration dans le cycle de développementCommunauté d'utilisateursCommunauté de développeurs

Nouvelles propriétés

WP1 Calculs en virgule flottanteWP2 Propriétés temporelles

Précision des résultats

WP3 Combinaison d'analyses statiquesCollaboration entre greffons de Frama-CInterface avec des outils externes

Utilisation de la plateforme

WP4 Aide à la preuveWP6 Dissémination

Programme systèmes embarqués et grandes infrastructures 2008

contacts: [email protected]

http://frama-c.com/u3cat

dates: 2009-2011

Éléments de confiance

QualificationFormalisationCertification

WP5

interprétation abstraite

vérification déductivegreffons

slicingextensibilité

open-source

dépendances

impact

ACSLspécifications

Aperçu des stages - unistra.fr · 2019-03-06 · Analysis of Variance Critical To Quality Dossier d’Adéuation Fonctionnelle Documents d’InfomationsComplémentaires Define Measure

Les Formations€¦ · Food defense et gestion de crise ... Méthode CARVER/SHOCK VACCP (Vulnerability Analysis Critical Control Point) Les différentes sources de dangers

CATALOGUE DE GRAINES 2019 - ! Cannabis & Marijuana Seeds · Vainqueur de la Cannabis Cup 2014 Graines Féminisées Graines Féminisées 6 Critical Mass X OG Kush. Critical Kush™

Unraveling the Stabilityof Polypeptide Helices: Critical ... the Stability... · Unraveling the Stabilityof Polypeptide Helices: Critical Role of van der Waals Interactions Alexandre

P.P. 1014 Lausanne Unification du logo de l’Etat V

Survival analysis Chapitre 1 : introduction · Chapitre 1 : introduction Agathe Guilloux ... Introduction. What is survival analysis ? Survival analysis Survival analysis is the study

CONTRÔLES D’HYGIèNE ET DE QUALITÉ DANS LES …€¦ · de qualité des services le plus réputé au monde. HACCP (Hazard Analysis and Critical Control Point - Analyse des risques

Title Critical Minerals and Energy‒Impacts and …...resources Article Critical Minerals and Energy–Impacts and Limitations of Moving to Unconventional Resources Benjamin C. McLellan

Le système HACCP: Hazard Analysis Critical Control Points Analyse des Dangers et Maîtrise des Points Critiques Introduction et définition Pré-requis Principes

10 critical questions French

InspirA – Journal of Anesthesia and Critical Care Nursing...Tidsskrift for anestesi- og intensivsykepleiere 02 20 ISSN 0809 – 9707 InspirA – Journal of Anesthesia and Critical

Fr-Jp simplified dynamic analysis analysis development and ... · Fr-Jp simplified dynamic analysis analysis ... Au cours du séisme du Grand Tohoku du 11 mars 2011, le arrage de

Application de la méthode Bilan Carbone® aux activités de ... · First, a critical analysis of existing factors is presented. Then, following a comprehensive literature review,

Retail Analysis

ICT and Critical Infrastructure: Proceedings of the 48th

Intro, Analysis I, Analysis II

L’ART de la Sédation en pédiatrie · Sécurité et bien-être de l’enfant ... Adverse sedation events in Pediatrics: A critical incident analysis of contribution factors (2000)

Universit e de Montr eal · 2017-02-15 · In this essay we aim to provide a critical analysis of the literature regarding deontic logic. First of all, we wish to give a historical

Location-Based Critical Infrastructure Interdependency (LBCII)interdependency. It identifies critical infrastructure sectors in a particular spatial domain. LBCII provides an analysis

Les démarches de qualité dans les filières alimentaires en ... Rapport_qualité... · 3 Hazard Analysis of Critical Control Point (HACCP) 4 Référentiel de bonnes pratiques agricoles

Margaret Haig MD, FRCP(C) Hôpital Ste-Justine · Adverse Sedation Incidents in Pediatrics: A Critical Incident Analysis of Contributing ... dangereuse pour leur enfant qu’une anesthésie

Ibrutinib Unmasks Critical Role of Bruton Tyrosine Kinase ... · 6/15/2017 · 1 Ibrutinib Unmasks Critical Role of Bruton Tyrosine Kinase in Primary CNS Lymphoma . Christian Grommes1,2,3†,

Gel’pam SAS Hygiène - forminterim.com · Comme toute industrie alimentaire, Gel’Pam a mis en place une démarche HACCP (Hazard Analysis Critical Control Point). avec des conditions

Méthodes et Outils des démarches qualité pour les ... · PDF filetrie, Poitiers ; Mme Claude GUELDRY, directrice, BAQHP, Paris ; ... • Hazard Analysis Critical Control Point(HACCP)

Fermi-surface transformation across the pseudogap critical

Renal expression of parvalbumin is critical for NaCl ... › content › pnas › 104 › 37 › 14849.full.pdf · Renal expression of parvalbumin is critical for NaCl handling and

UNIVERSITÉ DE MONTRÉAL MEASURES OF CRITICAL …

9 0 8 1 Notre soutien dans votre démarche HACCP · * HACCP: Hazard Analysis Critical Control Point (analyse des dangers et maîtrise des points critiques). Matière : PA 6.6 chargé

Www.altitudetelecom.fr Unification des services Quelles solutions PATRICK BIECHEL

Programmation logique Démonstrateur automatique C. Démonstrateur automatique Substitution Unification Couple de désaccord Algorithme d'unification Principe

Andia,Y. de,Mysteres,Unification Et Divinisation de l'Homme Selon Denys l'Areopagite

Leleux AcademyFile/Leleux... · Fundamental analysis vs technical analysis infographics. Fundamental analysis vs technical analysis infographics. Fundamental analysis vs technical

La démarche HACCP en cuisine de collectivité · HACCP est l’abréviation de « Hazard Analysis Critical Point », ce qui signifie en français : analyse des dangers / points critiques

GROUPE COLABOR INC. · Vaughan 196 598 pieds carrés Ces entrepôts, sauf celui de Vaughan, sont certifiés HACCP. Ce terme signifie « Hazard Analysis Critical Control Point » en

Optimal Culture Media development Procedure is Critical