Instruct: Given the title of a paper, retrieve paper titles that are cited by the given paper.
Query: Configurable Toolset for Static Verification of Operating Systems Kernel Modules
Using linux device drivers for static verification tools benchmarking
An overview of the MOP runtime verification framework
Boogie: A modular reusable verifier for object-oriented programs
Vigilare: toward snoop-based kernel integrity monitor
Linux security modules: general security support for the linux kernel
Ensuring operating system kernel integrity with OSck
MACE: high-coverage and robust memory analysis for commodity operating systems
Don't sweat the small stuff: formal verification of C code without the pain
CPAchecker: A Tool for Configurable Software Verification
New architecture of the object-oriented functional coverage mechanism for digital verification
SLAM and static driver verifier: Technology transfer of formal methods inside Microsoft
Precise and Scalable Detection of Double-Fetch Bugs in OS Kernels
Calysto: scalable and precise extended static checking
The SLAM project: debugging system software via static analysis
A Practical Methodology for the Formal Verification of RISC Processors
Fuzzing the Linux kernel
Copilot - a coprocessor-based kernel runtime integrity monitor
PEBIL: Efficient static binary instrumentation for Linux
A Survey of Automated Techniques for Formal Software Verification
BINSEC/SE: A Dynamic Symbolic Execution Toolkit for Binary-Level Analysis
Thorough static analysis of device drivers
Automatic guidance of a four-wheel-steering mobile robot for accurate field operations
A Novel Multi-Class EEG-Based Sleep Stage Classification System
Stress and food choice: A laboratory study
Spatially-weighted Anomaly Detection