What makes a program correct?

In the era of ever-growing role of computers in our lives, from medical equipment and satellites to cars and refrigerators, making reliable software becomes crucial to many organizations. I'm going to talk about how defining a clear contract between the components can help in making more secure and resilient software.