Login / Signup

Modeling Environment for Static Verification of Linux Kernel Modules.

Alexey V. KhoroshilovVadim S. MutilinEvgeny NovikovIlja S. Zakharov
Published in: Ershov Memorial Conference (2014)
Keyphrases
  • linux kernel
  • operating system
  • mobile robot
  • real time
  • data structure
  • source code
  • file system
  • modeling method
  • e learning
  • cooperative
  • data analysis
  • model checking
  • modeling language
  • physical world
  • functional modules