Zobrazeno 1 - 10
of 91
pro vyhledávání: '"verifiering"'
Autor:
Janpol, Linn, Hedman, Sandra
Anti-Müllerskt Hormon (AMH) är ett glykoprotein som spelar en avgörande roll för rätt behandling av patienter med fertilitetsproblem och diagnos av könsutvecklingsstörningar hos barn. Att utföra en verifiering av analys för AMH på sjukhusla
Externí odkaz:
http://urn.kb.se/resolve?urn=urn:nbn:se:hj:diva-65483
Autor:
Grundberg, Johan
Formal methods is a subfield of computer science in which mathematics and logic are used to prove properties of programs and/or systems. Two families of methods within formal methods are model checking and deductive verification. One concrete model c
Externí odkaz:
http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-344765
Autor:
Söderberg, Oskar
Contract inference consists in automatically computing contracts that formally describe the behaviour of program functions. Contracts are used in deductive verification, which is a method for verifying whether a system behaves according to a provided
Externí odkaz:
http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-337373
Autor:
Manjikian, Hovig
This work investigates possible improvements to an existing annotation inference tool. The tool is part of a toolchain that aims to automate the process of software verification using formal methods. The purpose of the annotations is to facilitate th
Externí odkaz:
http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-337369
Autor:
Smyrnioudis, Nikolaos
The most performant Machine Learning (ML) classifiers have been labeled black-boxes due to the complexity of their decision process. eXplainable Artificial Intelligence (XAI) methods aim to alleviate this issue by crafting an interpretable explanatio
Externí odkaz:
http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-337740
Autor:
Haglund, Jonas
In many contexts, computers run both critical and untrusted software,necessitating the need for isolating critical software from untrusted software.These computers contain CPUs, memory and peripherals. For performance reasons,some of these peripheral
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______260::8e51e5ef0b30bcf458da21f89c55b512
http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-327312
http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-327312
Autor:
Lindner, Andreas
With the increasing ubiquity of computing devices, their correct and secure operation is of growing importance. In particular, critical components that provide core functionalities or process sensitive data have to operate as intended. Examples are o
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______260::8c0df32db5f20444afdc78a35d78e924
http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-326719
http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-326719
Autor:
Welday, Sened
Det traditionella sättet att programmera industriella styrsystem har alltid varit ettkostsamt och oförutsägbart sätt att driftsätta produktionsutrustning. Detta beror påatt styrsystemen programmeras parallellt med driftsättningen som sker sent
Externí odkaz:
http://urn.kb.se/resolve?urn=urn:nbn:se:hig:diva-40603
Autor:
Prabhakar, Gautham
Application Specific Integrated Circuits (ASIC) and Field Programmable Gate Arrays (FPGA) verification is quite a time consuming phase in design flow cycle and it can be done using methodologies such as Universal Verification Methodology (UVM) and fo
Externí odkaz:
http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-322836
Autor:
Nordström, Amanda
Under produktionen av kartong vid det integrerade massa- och kartongbruket, som ägs av Holmen Iggesund Paperboard AB, bildas klorat som är giftigt för vattenlevande organismer. Därför är det väsentligt att utsläppet av klorat till havet, via
Externí odkaz:
http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-317503