62 citations
- Moscow Institute of Physics and TechnologyRU21 papers
- Lomonosov Moscow State UniversityRU11 papers
- Russian Academy of SciencesRU11 papers
- Innopolis UniversityRU8 papers
- Steklov Mathematical InstituteRU6 papers
- Centre National de la Recherche ScientifiqueFR4 papers
- Institute of Physics and TechnologyKZ4 papers
- Moscow Aviation InstituteRU4 papers
- Moscow Power Engineering InstituteRU4 papers
- National Research University Higher School of EconomicsRU4 papers
- École Normale Supérieure de LyonFR3 papers
- Institute for Information Transmission ProblemsRU3 papers
10 papers · 1 filter
Dynamic Analysis of ARINC 653 RTOS with LLVM
Vitaly Cheptsov, Alexey Khoroshilov
Existing standards for airborne-embedded software systems impose a number of requirements applicable to the software development cycle of hard real-time operating systems found in…
Lemma Functions for Frama-C: C Programs as Proofs
Grigoriy Volkov, Mikhail Mandrykin, Denis Efremov
This paper describes the development of an auto-active verification technique in the Frama-C framework. We outline the lemma functions method and present the corresponding ACSL ext…
Deductive Verification of Unmodified Linux Kernel Library Functions
Denis Efremov, Mikhail Mandrykin, Alexey Khoroshilov
This paper presents results from the development and evaluation of a deductive verification benchmark consisting of 26 unmodified Linux kernel library functions implementing conven…
Source Code Optimization using Equivalent Mutants
Jorge López, Natalia Kushik, Nina Yevtushenko
A mutant is a program obtained by syntactically modifying a program's source code; an equivalent mutant is a mutant, which is functionally equivalent to the original program. Mutan…
Proceedings Tenth Workshop on Model Based Testing
Nikolay Pakulin, Alexander K. Petrenko, Bernd-Holger Schlingloff
The workshop is devoted to model-based testing of both software and hardware. Model-based testing uses models describing the required behavior of the system under consideration to…
Proceedings Ninth Workshop on Model-Based Testing
Holger Schlingloff, Alexander K. Petrenko
This volume contains the proceedings of the Ninth Workshop on Model-Based Testing (MBT 2014), which was held in Grenoble, France on April 6, 2014 as a satellite workshop of the Eur…