Zobrazeno 1 - 10
of 3 790
pro vyhledávání: '"Static checking"'
Publikováno v:
In Journal of Logical and Algebraic Methods in Programming February 2022 125
Autor:
Belyakova, Julia
In this paper we consider the problem of certified static checking of module-like constructs of programming languages. We argue that there are algorithms and properties related to modules that can be defined and proven in an abstract way. We advocate
Externí odkaz:
http://arxiv.org/abs/1706.05851
Publikováno v:
IEEE Transactions on Software Engineering, 41(10):1019-1037, October 2015
Verifiers that can prove programs correct against their full functional specification require, for programs with loops, additional annotations in the form of loop invariants---propeties that hold for every iteration of a loop. We show that significan
Externí odkaz:
http://arxiv.org/abs/1407.5286
Autor:
Mustafa, Tanveer1 tanveer@tzi.de, Sohr, Karsten1 sohr@tzi.de
Publikováno v:
International Journal of Information Security. Aug2015, Vol. 14 Issue 4, p347-366. 20p.
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:
In Electronic Notes in Theoretical Computer Science 20 December 2012 290:51-67
Publikováno v:
International Journal of Information Security and Privacy. 11:29-41
The advanced malware continue to be a challenge in digital world that signature-based detection techniques fail to conquer. The malware use many anti-detection techniques to mutate. Thus no virus scanner can claim complete malware detection even for
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::640a2b804e5855c5ce35836c32d6cc5a
https://doi.org/10.4018/ijisp.2017070103
https://doi.org/10.4018/ijisp.2017070103
Autor:
Rioux, Frédéric, Chalin, Patrice
Publikováno v:
In Electronic Notes in Theoretical Computer Science 22 May 2006 157(2):119-132
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:
Astrid Younang, Lunjin Lu
Publikováno v:
International Journal of Computer Theory and Engineering. 9:346-350
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c43fa6f9d5b2c12e5aee7798da8464ea
https://doi.org/10.7763/ijcte.2017.v9.1164
https://doi.org/10.7763/ijcte.2017.v9.1164