Zobrazeno 1 - 10
of 170
pro vyhledávání: '"Weakest-Precondition"'
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
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
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
International Journal of Information and Communication Technology Research, Vol 1, Iss 2, Pp 21-27 (2009)
Formal specification as a precise description of software requirements plays an important role in the software development processes. It can be used as a measurement for validating the artifacts of almost all stages in the development process. Hence,
Externí odkaz:
https://doaj.org/article/a8a0a925766b46bc89e3477b01624a7c
This paper contributes to the verification of programs written in Bitcoin's smart contract language SCRIPT in the interactive theorem prover Agda. It focuses on the security property of access control for SCRIPT programs that govern the distribution
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7c6d6d81d4661edb7b8b9f695f8d9fcd
https://cronfa.swan.ac.uk/Record/cronfa60178/Download/60178__25491__cf880e484fd94516b2ef2fb9e21cc884.pdf
https://cronfa.swan.ac.uk/Record/cronfa60178/Download/60178__25491__cf880e484fd94516b2ef2fb9e21cc884.pdf
Publikováno v:
Journal of Computer Science and Technology, Vol 4, Iss 01, Pp 26-31 (2004)
A mathematical model for the specification and verification of a data link layer protocol is proposed. The weakest precondition calculus, developed by Dijkstra, originally for sequential programs, has been chosen for this purpose. It is demonstrated
Externí odkaz:
https://doaj.org/article/e00a11aba69c4a518d0c824c561e95ab
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.