Verification of Compliance for Multilevel Models in Individual Trace Semantics

Alexey Vladimirovich KHOROSHILOV

Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS)
Trudy Instituta sistemnogo programmirovaniâ

ISSN 2079-8156 (Print)
ISSN 2220-6426 (Online)

User

eng | рус

Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS)

Advanced search

Archives

Download this PDF file

Fullscreen

For citations:

KHOROSHILOV A.V. Verification of Compliance for Multilevel Models in Individual Trace Semantics. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2020;32(6):19-30. (In Russ.) https://doi.org/10.15514/ISPRAS-2020-32(6)-2

This work is licensed under a Creative Commons Attribution 4.0 License.

ISSN 2079-8156 (Print)
ISSN 2220-6426 (Online)

* not an advertisement

Indexing Databases

* not an advertisement

Popular articles

Editor-in-Chief

Academician Arutyun I. Avetisyan

Article Tools

How to cite item

Finding References

Email this article (Login required)

Email the author (Login required)

About the Author

Alexey Vladimirovich KHOROSHILOV
Ivannikov Institute for System Programming of the Russian Academy of Sciences, Lomonosov Moscow State University, National Research University, Higher School of Economics, Moscow Institute of Physics and Technology (MIPT)
Russian Federation

Ph.D. in Physics and Mathematics, Leading Researcher, Director of the Linux OS Verification Center at ISP RAS, Associate Professor of System Programming Departments at Moscow State University, the Higher School of Economics, and Moscow Institute of Physics and Technology

Notifications

Username
Password
	Remember me
Not a user? Register with this site Forgot your password?

User

Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS)

For citations:

Cookies policy