Specification and verification of WebAssembly programs

Bibliographic Details
Author: Munuera Mazarro, David
Format: master thesis
Publication Date:2023
Country:España
Institution:Universidad Politécnica de Madrid
Repository:Archivo Digital UPM
OAI Identifier:oai:oa.upm.es:75802
Online Access:https://oa.upm.es/75802/
Access Level:Open access
Keyword:Software verification
software specification
software correctness
formal methods
WebAssembly
Hoare logic
control flow graphs
SMT
verification conditions
VerifiWASM
wasm-verify
id ES_26755fbb0b32a10a8c3fea53ca01e8eb
oai_identifier_str oai:oa.upm.es:75802
network_acronym_str ES
network_name_str España
repository_id_str
spelling Specification and verification of WebAssembly programsMunuera Mazarro, DavidSoftware verificationsoftware specificationsoftware correctnessformal methodsWebAssemblyHoare logiccontrol flow graphsSMTverification conditionsVerifiWASMwasm-verifyMontenegro Montes, Manuel20232023-06-01master thesishttp://purl.org/coar/resource_type/c_bdccinfo:eu-repo/semantics/masterThesishttps://oa.upm.es/75802/reponame:Archivo Digital UPMinstname:Universidad Politécnica de MadridInglésenopen accesshttp://purl.org/coar/access_right/c_abf2info:eu-repo/semantics/openAccessoai:oa.upm.es:758022026-06-21T12:45:07Z
dc.title.none.fl_str_mv Specification and verification of WebAssembly programs
title Specification and verification of WebAssembly programs
spellingShingle Specification and verification of WebAssembly programs
Munuera Mazarro, David
Software verification
software specification
software correctness
formal methods
WebAssembly
Hoare logic
control flow graphs
SMT
verification conditions
VerifiWASM
wasm-verify
title_short Specification and verification of WebAssembly programs
title_full Specification and verification of WebAssembly programs
title_fullStr Specification and verification of WebAssembly programs
title_full_unstemmed Specification and verification of WebAssembly programs
title_sort Specification and verification of WebAssembly programs
dc.creator.none.fl_str_mv Munuera Mazarro, David
author Munuera Mazarro, David
author_facet Munuera Mazarro, David
author_role author
dc.contributor.none.fl_str_mv Montenegro Montes, Manuel
dc.subject.none.fl_str_mv Software verification
software specification
software correctness
formal methods
WebAssembly
Hoare logic
control flow graphs
SMT
verification conditions
VerifiWASM
wasm-verify
topic Software verification
software specification
software correctness
formal methods
WebAssembly
Hoare logic
control flow graphs
SMT
verification conditions
VerifiWASM
wasm-verify
publishDate 2023
dc.date.none.fl_str_mv 2023
2023-06-01
dc.type.none.fl_str_mv master thesis
http://purl.org/coar/resource_type/c_bdcc
dc.type.openaire.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
dc.identifier.none.fl_str_mv https://oa.upm.es/75802/
url https://oa.upm.es/75802/
dc.language.none.fl_str_mv Inglés
en
language_invalid_str_mv Inglés
en
dc.rights.none.fl_str_mv open access
http://purl.org/coar/access_right/c_abf2
dc.rights.openaire.fl_str_mv info:eu-repo/semantics/openAccess
rights_invalid_str_mv open access
http://purl.org/coar/access_right/c_abf2
eu_rights_str_mv openAccess
dc.source.none.fl_str_mv reponame:Archivo Digital UPM
instname:Universidad Politécnica de Madrid
instname_str Universidad Politécnica de Madrid
reponame_str Archivo Digital UPM
collection Archivo Digital UPM
repository.name.fl_str_mv
repository.mail.fl_str_mv
_version_ 1869404823073325056
score 15,198674

Similar Items