Login / Signup

Using linux device drivers for static verification tools benchmarking.

Mikhail U. MandrykinVadim S. MutilinEvgeny NovikovAlexey V. KhoroshilovPavel Shved
Published in: Program. Comput. Softw. (2012)
Keyphrases
  • operating system
  • real time
  • open source
  • building blocks
  • model checking
  • user friendly
  • user interface
  • file system
  • software tools
  • object oriented
  • source code
  • formal methods
  • formal verification
  • car navigation