Runtime Verification of Linux Kernel Modules Based on Call Interception.
Vladimir V. RubanovEugene A. ShatokhinPublished in: ICST (2011)
Keyphrases
- linux kernel
- operating system
- source code
- software systems
- clone detection
- open source
- model checking
- file system
- analysis tool
- building blocks
- face verification
- artificial intelligence
- software evolution
- modular architecture
- modular structure
- information technology
- high level
- pattern matching
- dynamic environments
- software maintenance
- formal verification
- verification method