Free Tech Talk – An Introduction to Program Verification

http://photos2.meetupstatic.com/photos/event/5/e/3/1/600_448764113.jpeg

Computer programs are everywhere: they are in our homes, our pockets, our vehicles, our financial systems, our hospitals, and so on. But, writing programs that are free from bugs is hard. As programs become ever more pervasive and complex, simply being more careful and diligent is not enough. The stakes are too high. The field of program verification research seeks to provide automatic techniques for exposing bugs and checking program correctness.

This talk will give a brief introduction to an increasingly popular class of techniques called “model checking” approaches. Along the way, we’ll learn about models, logics, and music programming as an example.

Speaker: Dominic Orchard
Dominic Orchard is a Research Associate at the Universty of Cambridge.

Please register for the event at: https://blog.cambridgecoding.com/2016/04/10/free-tech-talk-an-introduction-to-program-verification/

See you there!