Akash Lal, 29

摘要

W Tith software becoming all pervasive in our daily lives, it must become all the more reliable and shouldn't crash or behave unexpectedly. And the way to address this is through automated verification of programs. Though automated verification can significantly improve the quality of software with little manual effort, the available verification tools have been used to test sequential programs. This is a concern as modern software is invariably concurrent.