UPDF AI

Os Verification-a Survey as a Source of Future Challenges

Arun Mishra

2015 · DOI: 10.5121/ijcses.2015.6401
0 Citations

TLDR

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.

Cited Papers
Citing Papers