Data Abstraction: A General Framework to Handle Program Verification of Data Structures

Autor: Laure Gonnord, Julien Braine, David Monniaux

Publikováno v: [Research Report] RR-9408, Inria Grenoble Rhône-Alpes; VERIMAG UMR 5104, Université Grenoble Alpes, France; LIP-Laboratoire de l’Informatique du Parallélisme; Université Lyon 1-Claude Bernard; ENS Lyon. 2021, pp.1-29
Static Analysis ISBN: 9783030888053
SAS
SAS 2021-28th Static Analysis Symposium
SAS 2021-28th Static Analysis Symposium, Oct 2021, Chicago, United States. pp.215-235, ⟨10.1007/978-3-030-88806-0_11⟩
HAL

Proving properties on programs accessing data structures such as arrays often requires universally quantified invariants, e.g., "all elements below index $i$ are nonzero''. In this research report, we propose a general data abstraction scheme operati

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e826c8bfc91708c622e160a8d3a42218
https://hal.inria.fr/hal-03214475

Vérification automatisée des programmes qui s’exécutent sur des systèmes distribués

Autor: Beillahi, Sidi Mohamed

Publikováno v: Computer science. Université de Paris, 2021. English. ⟨NNT : 2021UNIP7005⟩

Over the past decades, distributed software became an integral part of our society, being used in various domains like online banking or shopping, distance learning, supply chain, and telecommuting. Developing correct and efficient distributed system

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::02414cfcd5aa9a8ba99dba230b243ca4
https://tel.archives-ouvertes.fr/tel-03420197/file/BEILLAHI_Sidi_Mohamed_va2.pdf

Dynamic program analysis for suggesting test improvements to developers

Autor: Vera-Pérez, Oscar

Publikováno v: Software Engineering [cs.SE]. Université de Rennes 1 [UR1], 2019. English
Software Engineering [cs.SE]. Université de Rennes 1 [UR1], 2019. English. ⟨NNT : ⟩

Automated testing is at the core of modern software development. Yet developers struggle when it comes to the evaluation of the quality of their test cases and how to improve them. The main goal of this thesis is precisely that, to generate concrete

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::8c4df4715ffea8109c02ecf96865f5eb
https://hal.archives-ouvertes.fr/tel-02459572/document

Educatio siglo XXI : revista de la Facultad de Educación

Autor: Marc-André Éthier, David Lefrançois, Jean-François Cardin

Publikováno v: Educatio Siglo XXI, Vol 36, Iss 1 Mar-Jun (2018)
Redined, Red de Información Educativa
Ministerio de Educación, Cultura y Deporte (MECD)
DIGITUM. Depósito Digital Institucional de la Universidad de Murcia
instname

Se revisan las críticas al enfoque de las habilidades históricas y se sintetizan investigaciones empíricas recientes sobre los efectos de este enfoque en el aprendizaje del pensamiento histórico. A este respecto, se propone una comparación de la

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::dbbfb67a37439ed23c18b61132b9bf06
https://revistas.um.es/educatio/article/view/324151

From qualitative to quantitative program analysis : permissive enforcement of secure information flow

Autor: Assaf, Mounir

De nos jours, les ordinateurs sont omniprésents. Tous ces ordinateurs stockent et manipulent de l'information, parfois sensible, d'où l'intérêt de protéger et de confiner la dissémination de cette information. Les mécanismes de contrôle de fl

Externí odkaz: http://www.theses.fr/2015REN1S003/document