19/04/16 Tech Talk: An Introduction to Program Verification – by Dominic Orchard
As part of our series of Cambridge Coding Academy Tech Talks, this presentation will introduce an increasingly popular class of techniques called “model checking” approaches, covering models, logics, and music programming as an example.
If you are interested in learning more, check out our upcoming series of courses:
Cambridge Coding Academy 