Os Verification-a Survey as a Source of Future Challenges

Few unattended and interesting future challenges in operating system verification area have been discussed and possible directions towards the challenge solution have been described in brief.