المؤلفون: Dong, Ning, Guanciale, Roberto, Dam, Mads, Loow, Andreas

المصدر: 2023 Formal Methods in Computer-Aided Design (FMCAD) Formal Methods in Computer-Aided Design (FMCAD), 2023. :247-256 Oct, 2023

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

المؤلفون: Flaviani, Federico, Carballosa, Walter

المصدر: 2022 XVLIII Latin American Computer Conference (CLEI) Computer Conference (CLEI), 2022 XVLIII Latin American. :1-9 Oct, 2022

Relation: 2022 XVLIII Latin American Computer Conference (CLEI)

المؤلفون: 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

المؤلفون: Dong, Ning, Guanciale, Roberto, Dam, Mads

المصدر: 2021 Formal Methods in Computer Aided Design (FMCAD) Computer Aided Design (FMCAD), 2021 Formal Methods in. :123-132 Oct, 2021

Relation: 2021 Formal Methods in Computer Aided Design (FMCAD)

المؤلفون: Rashid, Adnan^Aff13, Abed, Sa’ed^Aff14, Hasan, Osman^Aff13

المساهمون: Kacprzyk, Janusz, Series Editor^Aff1, Gomide, Fernando, Advisory Editor^Aff2, Kaynak, Okyay, Advisory Editor^Aff3, Liu, Derong, Advisory Editor^Aff4, Pedrycz, Witold, Advisory Editor^Aff5, Polycarpou, Marios M., Advisory Editor^Aff6, Rudas, Imre J., Advisory Editor^Aff7, Wang, Jun, Advisory Editor^Aff8, Yang, Xin-She, editor^Aff9, Sherratt, R. Simon, editor^Aff10, Dey, Nilanjan, editor^Aff11, Joshi, Amit, editor^Aff12

المصدر: Proceedings of Eighth International Congress on Information and Communication Technology : ICICT 2023, London, Volume 1. 693:583-591

المؤلفون: Aleksandrov, Andrei^Aff9, Völlinger, Kim^Aff9

المساهمون: Goos, Gerhard, Founding 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, Rozier, Kristin Yvonne, editor^Aff7, Chaudhuri, Swarat, editor^Aff8

المصدر: NASA Formal Methods : 15th International Symposium, NFM 2023, Houston, TX, USA, May 16–18, 2023, Proceedings. 13903:62-78

المؤلفون: Nagashima, Yutaka, He, Yilun

المصدر: 2018 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE) Automated Software Engineering (ASE), 2018 33rd IEEE/ACM International Conference on. :362-372 Sep, 2018

Relation: 2018 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE)

المؤلفون: Federico Flaviani, Walter Carballosa

المصدر: CLEI Electronic Journal, Vol 26, Iss 2 (2023)

مصطلحات موضوعية: Algorithm Proof Theory, Calculational Logic, Interactive Theorem Prover, Education, Propositional Logic, Boolean Algebras, Finite Difference, Combinatory Logic., Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: https://clei.org/cleiej/index.php/cleiej/article/view/599; https://doaj.org/toc/0717-5000

URL الوصول: https://doaj.org/article/50ee915ef92c4a739033cd3b279bdfd7

المؤلفون: Robillard, Simon

المصدر: 2014 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2014 16th International Symposium on. :180-185 Sep, 2014

Relation: 2014 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)

المؤلفون: Loulergue, Frederic, Niculescu, Virginia, Robillard, Simon

المصدر: 2013 First International Symposium on Computing and Networking Computing and Networking (CANDAR), 2013 First International Symposium on. :57-65 Dec, 2013

Relation: 2013 First International Symposium on Computing and Networking (CANDAR)