Anjariaand Mishra. OS Verification- A Survey as a Source of Future Challenges. Academy and Industry Research Collaboration Center (AIRCC), Aug. 2015, doi:10.5121/ijcses.2015.6401.