Static Analysis of Programs with Imprecise Probabilistic Inputs

Assalé Adje 1, 2 Olivier Bouissou 3 Jean Goubault-Larrecq 1, 4 Eric Goubault 5 Sylvie Putot 5
3 LMeASI - Laboratoire Modélisation et Analyse de Systèmes en Interaction
LIST - Laboratoire d'Intégration des Systèmes et des Technologies : DRT/LIST
4 SECSI - Security of information systems
LSV - Laboratoire Spécification et Vérification [Cachan], ENS Cachan - École normale supérieure - Cachan, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR8643
Résumé : Il est important de disposer d'une abstraction précise mais correcte des entrées d'un programme numérique pour analyser ses comportements. Pour de nombreux programmes, ces entrées sont probabilistes, mais la distribution réellement utilisée n'est connue que partiellement. Nous présentons un cadre d'analyse statique permettant le raisonnement sur des programmes dont les entrées sont données sous forme de probabilités imprécises: nous définissons une sémantique collectrice fondée sur la notion de prévisions et une sémantique abstraite fondée sur une extension des structures de Dempster-Shafer. Nous démontrons la correction de notre approche et montrons sur des exemples réalistes le genre d'invariants que nous sommes capables d'inférer.
Type de document :
Communication dans un congrès
Cohen, Ernie and Rybalchenko, Andrey. VSTTE, May 2013, Snowbird, Utah, United States. Springer, 8164, pp.22-47, 2013, LNCS. 〈http://link.springer.com/chapter/10.1007/978-3-642-54108-7_2〉. 〈10.1007/978-3-642-54108-7〉
Liste complète des métadonnées

Littérature citée [41 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00942126
Contributeur : Jean Goubault-Larrecq <>
Soumis le : mardi 4 février 2014 - 16:58:31
Dernière modification le : jeudi 12 avril 2018 - 01:47:19
Document(s) archivé(s) le : dimanche 9 avril 2017 - 08:50:46

Fichier

main2.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Assalé Adje, Olivier Bouissou, Jean Goubault-Larrecq, Eric Goubault, Sylvie Putot. Static Analysis of Programs with Imprecise Probabilistic Inputs. Cohen, Ernie and Rybalchenko, Andrey. VSTTE, May 2013, Snowbird, Utah, United States. Springer, 8164, pp.22-47, 2013, LNCS. 〈http://link.springer.com/chapter/10.1007/978-3-642-54108-7_2〉. 〈10.1007/978-3-642-54108-7〉. 〈hal-00942126〉

Partager

Métriques

Consultations de la notice

303

Téléchargements de fichiers

144