Zobrazeno 1 - 10
of 1 214
pro vyhledávání: '"Hoare logic"'
Autor:
Chajed, Tej1 tchajed@mit.edu, Haogang Chen1 hchen@csail.mit.edu, Chlipala, Adam1 adamc@csail.mit.edu, Kaashoek, M. Frans1 kaashoek@csail.mit.edu, Zeldovich, Nickolai1 nickolai@csail.mit.edu, Ziegler, Daniel1 dmz@mit.edu
Publikováno v:
Communications of the ACM. Apr2017, Vol. 60 Issue 4, p75-84. 10p. 2 Diagrams, 6 Charts, 1 Graph.
Publikováno v:
Digital Communications and Networks, Vol 9, Iss 5, Pp 1070-1079 (2023)
A secure operating system in the communication network can provide the stable working environment, which ensures that the user information is not stolen. The micro-kernel operating system in the communication network retains the core functions in the
Externí odkaz:
https://doaj.org/article/91d837aa85794e09a3816ad95807affb
Autor:
Dmitry A. Kondratyev
Publikováno v:
Моделирование и анализ информационных систем, Vol 30, Iss 3, Pp 214-233 (2023)
Classic deductive verification is not focused on reasoning about program incorrectness. Reasoning about program incorrectness using formal methods is an important problem nowadays. Special logics such as Incorrectness Logic, Adversarial Logic, Local
Externí odkaz:
https://doaj.org/article/33b4b62f55b345f8a487083d3a577e27
Autor:
Sung Eun Bae1 sung.bae@ari.org.nz, Tong-Wook Shinn1 tongwook.shinn@ari.org.nz, Tadao Takaoka1,2 tadao.takaoka@ari.org.nz
Publikováno v:
Algorithms. Mar2017, Vol. 10 Issue 1, p5. 20p.
Autor:
Yang, Jean, Hawblitzel, Chris chris.hawblitzel@microsoft.com
Publikováno v:
Communications of the ACM. Dec2011, Vol. 54 Issue 12, p123-131. 9p.
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:
Heiser, Gernot1
Publikováno v:
Communications of the ACM. Apr2017, Vol. 60 Issue 4, p74-74. 1p.
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:
Kapoor, Kalpesh1 kalpesh@iitg.ernet.in, Lodaya, Kamal2 kamal@imsc.res.in, Reddy, Uday3 u.s.reddy@cs.bham.ac.uk
Publikováno v:
Journal of Philosophical Logic. Oct2011, Vol. 40 Issue 5, p583-632. 50p.
Autor:
Godlin, Benny1 bgodlin@cs.technion.ac.il, Strichman, Ofer2 ofers@ie.technion.ac.il
Publikováno v:
Acta Informatica. Aug2008, Vol. 45 Issue 6, p403-439. 37p. 15 Diagrams.