Sign in

Runtime Verification of Operating Systems Based on Abstract Models.

Denis EfremovViktoria V. KopachEugene KornykhinVictor V. KuliaminAlexander K. PetrenkoAlexey V. KhoroshilovIlya V. Shchepetkov
Published in: Program. Comput. Softw. (2023)
Keyphrases
  • operating system
  • computer systems
  • virtual machine
  • application programs
  • databases
  • data analysis
  • distributed systems