-
1
المؤلفون: 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 -
2مورد إلكتروني
مصطلحات الفهرس: 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, Computer Sciences, Datavetenskap (datalogi), Doctoral thesis, comprehensive summary, info:eu-repo/semantics/doctoralThesis, text
URL:
http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-326719
TRITA-EECS-AVL ; 2023:41 -
3مورد إلكتروني
مصطلحات الفهرس: 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, Computer Sciences, Datavetenskap (datalogi), Doctoral thesis, comprehensive summary, info:eu-repo/semantics/doctoralThesis, text
URL:
http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-326719
TRITA-EECS-AVL ; 2023:41 -
4مورد إلكتروني
مصطلحات الفهرس: 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, Computer Sciences, Datavetenskap (datalogi), Doctoral thesis, comprehensive summary, info:eu-repo/semantics/doctoralThesis, text
URL:
http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-326719
TRITA-EECS-AVL ; 2023:41 -
5مورد إلكتروني
مصطلحات الفهرس: 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, Computer Sciences, Datavetenskap (datalogi), Doctoral thesis, comprehensive summary, info:eu-repo/semantics/doctoralThesis, text
URL:
http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-326719
TRITA-EECS-AVL ; 2023:41