المؤلفون: Elderhalli, Yassmeen^{Aff1, IDs1070302400448z_cor1}, Hasan, Osman, Tahar, Sofiène

المصدر: Formal Methods in System Design: An International Journal. 62(1-3):285-325

المؤلفون: Palmskog, Karl, Yao, Xiaomo, Dong, Ning, Guanciale, Roberto, Dam, Mads

المصدر: 2022 Formal Methods in Computer-Aided Design (FMCAD) Formal Methods in Computer-Aided Design (FMCAD), 2022. :129-138 Oct, 2022

Relation: 2022 Formal Methods in Computer-Aided Design (FMCAD)

المؤلفون: Abdelghany, Mohamed^Aff9, Rashid, Adnan^Aff9, Tahar, Sofiène^Aff9

المساهمون: Goos, Gerhard, Series Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Yung, Moti, Editorial Board Member^Aff6, Kohlhase, Andrea, editor^Aff7, Kovács, Laura, editor^Aff8

المصدر: Intelligent Computer Mathematics : 17th International Conference, CICM 2024, Montréal, QC, Canada, August 5–9, 2024, Proceedings. 14960:298-314

المؤلفون: Dong, Ning

المساهمون: Guanciale, Roberto, Associate professor, Dam, Mads, Professor, 1955, Myreen, Magnus, Professor

المصدر: TRITA-EECS-AVL.

مصطلحات موضوعية: Formal Verification, Information Flow, Refinement, Interactive Theorem Prover, HOL4, Serial Interface, Pipelined Processor, Microarchitecture, Out-of-order Execution, Formell Verifiering, Informationsflöde, Förfining, Interaktiva Bevisprogrammet, Seriellt Gränssnitt, Mikroarkitektur, Omordnad Exekvering, Datalogi, Computer Science

وصف الملف: electronic

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-341484
https://kth.diva-portal.org/smash/get/diva2:1821827/FULLTEXT01.pdf

المؤلفون: Abdelghany, M., Ahmad, W., Tahar, S.

المصدر: IEEE Systems Journal Systems Journal, IEEE. 16(2):2899-2910 Jun, 2022

المؤلفون: Abdelghany, M., Tahar, S.

المصدر: IEEE Access Access, IEEE. 9:23929-23943 2021

المؤلفون: Elderhalli, Y., Hasan, O., Tahar, S.

المصدر: IEEE Access Access, IEEE. 7:136176-136192 2019

المؤلفون: Kanabar, Hrutvik, Vivien, Samuel, Abrahamsson, Oskar, 1986, Myreen, Magnus, 1983, Norrish, M., Åman Pohjola, Johannes, 1984, Zanetti, Riccardo

المصدر: Proceedings of the ACM on Programming Languages. 7

مصطلحات موضوعية: HOL4, interactive theorem proving, compiler verification, Haskell

وصف الملف: electronic

URL الوصول: https://research.chalmers.se/publication/536364
https://research.chalmers.se/publication/536364/file/536364_Fulltext.pdf

المؤلفون: Lindner, Andreas

المساهمون: Guanciale, Roberto, Associate professor, Dam, Mads, Professor, 1955, Rezk, Tamara, Dr

المصدر: TRITA-EECS-AVL.

مصطلحات موضوعية: Binary Code, Binary Analysis, Formal Verification, Model-Based Testing, Theorem Proving, HOL4, Intermediate Language, Instruction Set Architectures, ISA, Observational Models, Symbolic Execution, Weakest-Precondition, Execution Time Analysis, binärkod, binärkodsanalys, formell verifiering, modellbaserad testning, satsbevisning, mellankod, instruktionsuppsättningar, observationsmodeller, symbolisk exekvering, minst restriktiva villkoret, analys av övre tidsgräns, Datalogi, Computer Science

وصف الملف: electronic

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-326719
https://kth.diva-portal.org/smash/get/diva2:1755837/FULLTEXT01.pdf

المؤلفون: Wu, Aixuan, Shi, Zhiping, Yang, Xiumei, Guan, Yong, Li, Yongdong, Song, Xiaoyu

المصدر: 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) Intelligent Robots and Systems (IROS), 2017 IEEE/RSJ International Conference on. :2835-2842 Sep, 2017

Relation: 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)