Zobrazeno 1 - 5
of 5
pro vyhledávání: '"Shchepetkov, Ilya"'
Automatic software verification tools help to find hard-to-detect faults in programs checked against specified requirements non-interactively. Besides, they can prove program correctness formally under certain assumptions. These capabilities are vita
Externí odkaz:
http://arxiv.org/abs/2309.16427
As smart contracts are growing in size and complexity, it becomes harder and harder to ensure their correctness and security. Due to the lack of isolation mechanisms a single mistake or vulnerability in the code can bring the whole system down, and d
Externí odkaz:
http://arxiv.org/abs/2001.04314
Autor:
Efremov, Denis, Shchepetkov, Ilya
The Linux kernel is one of the most important Free/Libre Open Source Software (FLOSS) projects. It is installed on billions of devices all over the world, which process various sensitive, confidential or simply private data. It is crucial to establis
Externí odkaz:
http://arxiv.org/abs/2001.01442
Autor:
Devyanin, Petr N., Khoroshilov, Alexey V., Kuliamin, Victor V., Petrenko, Alexander K., Shchepetkov, Ilya V.
Publikováno v:
Perspectives of System Informatics (9783319415789); 2016, p107-115, 9p
Autor:
Devyanin, Petr N., Khoroshilov, Alexey V., Kuliamin, Victor V., Petrenko, Alexander K., Shchepetkov, Ilya V.
Publikováno v:
Abstract State Machines, Alloy, B, TLA, VDM & Z; 2014, p309-313, 5p