المؤلفون: Lidström, Christian

مصطلحات موضوعية: software sontracts, contract-based design, formal verification, deductive verification, contract inference, program instrumentation, embedded software, embedded systems, Frama-C, Computer Sciences, Datavetenskap (datalogi)

وصف الملف: application/pdf

Relation: TRITA-EECS-AVL; 2024:17

الاتاحة: http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-343807

المؤلفون: Alpuente Frasnedo, María, Pardo, Daniel, Villanueva, Alicia

المساهمون: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació, Generalitat Valenciana, Agencia Estatal de Investigación, European Regional Development Fund

مصطلحات موضوعية: Contract inference, Symbolic execution, Abstract subsumption, Deductive verification, LENGUAJES Y SISTEMAS INFORMATICOS

Relation: Fundamenta Informaticae; info:eu-repo/grantAgreement/GVA//PROMETEO%2F2019%2F098/ES/DeepTrust: Deep Logic Technology for Software Trustworthiness/; info:eu-repo/grantAgreement/AEI/Plan Estatal de Investigación Científica y Técnica y de Innovación 2017-2020/RTI2018-094403-B-C32/ES/RAZONAMIENTO FORMAL PARA TECNOLOGIAS FACILITADORAS Y EMERGENTES/; info:eu-repo/grantAgreement/EC/H2020/952215/EU/Foundations of Trustworthy AI - Integrating Reasoning, Learning and Optimization/; https://doi.org/10.3233/FI-2020-1989; urn:issn:0169-2968; http://hdl.handle.net/10251/161215

الاتاحة: http://hdl.handle.net/10251/161215
https://doi.org/10.3233/FI-2020-1989

المؤلفون: Menguy, Grégoire

المساهمون: Département Ingénierie Logiciels et Systèmes (DILS), Laboratoire d'Intégration des Systèmes et des Technologies (LIST (CEA)), Direction de Recherche Technologique (CEA) (DRT (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Direction de Recherche Technologique (CEA) (DRT (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université Paris-Saclay, Université Paris-Saclay, Julien Signoles, Sébastien Bardin, Nadjib Lazaar

المصدر: Artificial Intelligence [cs.AI]. Université Paris-Saclay, 2023. English. ⟨NNT : 2023UPASG023⟩

مصطلحات موضوعية: [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], Contract inférence, Inférence de contrats, Constraint acquisition, Machine learning, Code understanding, Compréhension de code, Acquisition de contraintes, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], Program synthesis, Apprentissage, Synthèse de code, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]

URL الوصول: https://explore.openaire.eu/search/publication?articleId=od______3515::ade9a05d7c38127f3d659d2df54938ea
https://theses.hal.science/tel-04097552

المؤلفون: Menguy, Grégoire

المساهمون: Département Ingénierie Logiciels et Systèmes (DILS (CEA, LIST)), Laboratoire d'Intégration des Systèmes et des Technologies (LIST (CEA)), Direction de Recherche Technologique (CEA) (DRT (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Direction de Recherche Technologique (CEA) (DRT (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université Paris-Saclay, Université Paris-Saclay, Julien Signoles, Sébastien Bardin, Nadjib Lazaar

المصدر: https://theses.hal.science/tel-04097552 ; Artificial Intelligence [cs.AI]. Université Paris-Saclay, 2023. English. ⟨NNT : 2023UPASG023⟩.

مصطلحات موضوعية: Contract inférence, Code understanding, Constraint acquisition, Machine learning, Program synthesis, Apprentissage, Acquisition de contraintes, Inférence de contrats, Compréhension de code, Synthèse de code, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR]

Relation: NNT: 2023UPASG023

الاتاحة: https://theses.hal.science/tel-04097552
https://theses.hal.science/tel-04097552v1/document
https://theses.hal.science/tel-04097552v1/file/119315_MENGUY_2023_archivage.pdf

المؤلفون: Söderberg, Oskar

مصطلحات موضوعية: Formal Verification, Contract Inference, Model Checking, Deductive Verification, Theory of Heaps, ACSL, Translation, Formell Verifiering, Kontrakth¨arledning, Modellprovning, Deduktiv Verifiering, Overs¨attning, Computer Sciences, Datavetenskap (datalogi)

وصف الملف: application/pdf

Relation: TRITA-EECS-EX; 2023:611

الاتاحة: http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-337373

المؤلفون: Manjikian, Hovig

مصطلحات موضوعية: Formal verification, Automated verification, Contract inference, Formell verifiering, Automatiserad verifiering, Kontraktgenerering, Computer Sciences, Datavetenskap (datalogi)

وصف الملف: application/pdf

Relation: TRITA-EECS-EX; 2023:609

الاتاحة: http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-337369

المؤلفون: Amilon, Jesper

مصطلحات موضوعية: Formal Verification, Contract inference, Hoare Logic, Model Checking, Horn clauses, Formell verifikation, Kontraktgenerering, Formell semantik, Hoare logik, Modellprovning, Computer Sciences, Datavetenskap (datalogi)

وصف الملف: application/pdf

Relation: TRITA-EECS-EX; 2021:584

الاتاحة: http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-303867