Software verification: Trends and Challenges

The influence of software in our daily lives is only increasing,
especially its role in automating critical tasks like surgery and self
driving. It is therefore imperative that we have some techniques to assure
that the software that we rely on does will not take decisions that will
harm humans and be potentially fatal. Yet, the advances in verification
continues to lag the advances in automation. In this talk we will
introduce the various approaches that have been taken by the verification
community to show that software will be safe, present the challenges faced
by the community and look at where we stand today.

About Mr.R. Venkatesh:
Mr. R. Venkatesh is a chief scientist with TCS Research and heads its
Verification and Validation Program. He has been with TCS for more than 25
years primarily in the areas of software development, formal methods and
verification. During this tenure he has lead several tool development
projects including TCS ECA a static analysis tool that is sold
commercially by TCS. Other tools include MasterCraft and more recently a
formal specification notation EDT.