Runtime Verification of Operating Systems Based on Abstract Models
-
Published:2023-12
Issue:7
Volume:49
Page:559-565
-
ISSN:0361-7688
-
Container-title:Programming and Computer Software
-
language:en
-
Short-container-title:Program Comput Soft
Author:
Efremov D. V.ORCID, Kopach V. V.ORCID, Kornykhin E. V.ORCID, Kuliamin V. V.ORCID, Petrenko A. K.ORCID, Khoroshilov A. V.ORCID, Shchepetkov I. V.ORCID
Publisher
Pleiades Publishing Ltd
Reference16 articles.
1. Abrial, J.-R., Modeling in Event-B: System and Software Engineering, Cambridge University Press, 2010. 2. Devyanin, P.N., Khoroshilov, A.V., et al., Using refinement in formal development of OS security model, Lect. Notes Comput. Sci., 2016, vol. 9609, pp. 107–115. 3. Kuliamin, V., Khoroshilov, A., and Medveded, D., Formal modeling of multi-level security and integrity control implemented with SELinux, Proc. Int. Conf. Actual Problems of Systems and Software Engineering (APSSE), 2019, pp. 131–136. 4. Petrenko, A.K., Efremov, D.V., et al., Monitoring and testing based on multi-level program specifications, Tr. Inst. Sist. Program. Ross. Akad. Nauk 2020, vol. 32, no. 6, pp. 7–18. https://doi.org/10.15514/ISPRAS-2020-32(6)-1 5. Abrial, J.-R., Butler, M., et al., Rodin: An open toolset for modelling and reasoning in Event-B, Int. J. Software Tools Technol. Transfer, 2010, vol. 12, no. 6, pp. 447–466.
|
|