Zobrazeno 1 - 9
of 9
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
Publikováno v:
Perspectives of System Informatics (9783319415789); 2016, p341-341, 1p
Publikováno v:
Abstract State Machines, Alloy, B, TLA, VDM & Z; 2014, p1-1, 1p
Autor:
Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas
This book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in October 2019. This volume presents the papers that have been accepted for the following work
Autor:
Manuel Mazzara, Andrei Voronkov
This book constitutes the refereed proceedings of the 10th International Andrei Ershov Informatics Conference, PSI 2015, held in Kazan and Innopolis, Russia, in August 2015. The 2 invited and 23 full papers presented in this volume were carefully rev