Property-based Code Slicing for Efficient Verification of OSEK/VDX Operating Systems

Mingyu Park Taejoon Byun Yunja Choi

Published in: FTSCS (2012)

Keyphrases

operating system
linux kernel
windows xp
computer systems
address space
virtual machine
virtual memory
microsoft windows
database
data processing
parallel execution
windows nt
operating environment
multi tasking
processor core