0:00 / 0:00
#programcorrectness#haskell#formalverification
Program Correctness - Computerphile
Computerphile
2.6M subscribers • 70 videos on Hallway
- Recommended by 1 person: 1 in engineering communities.
- Presented by Graham Hutton, Professor at the University of Nottingham
Intermediate. Assumes working knowledge.
65K views5 years ago1 recommendation
Computer scienceProgramming languagesHaskellComputation and complexityFormal methods and verification
Graham Hutton explains the principles of program correctness and formal verification using a simple arithmetic example in Haskell.
Program Correctness is incredibly important in computing - particularly in hardware design. Professor Graham Hutton takes us through a simple example using arithmetic. EXTRA BITS: youtu.be/TByzerWLKg8 facebook.com/computerphile twitter.com/computer_phile This video was filmed and edited by Sean Riley. Computer Science at the University of Nottingham: bit.ly/nottscomputer Computerphile is a sister project to Brady Haran's Numberphile. More at bradyharan.comWhy it's here
1 person recommends thisWhat people say. Recommended as an exceptionally clear and accessible introduction to formal program correctness.