u/ikhthiandorin r/haskell • Recommends
Why Writing Correct Software Is Hard and Why Math (Alone) Won’t Help Us - Curry On Talk (54mn) - Ron Pressler
0:00 / 0:00
#formalmethods#softwarecorrectness#computationalcomplexity
Ron Pressler - Why Writing Correct Software Is Hard and Why Math (Alone) Won’t Help Us - Curry On
Curry On!
6.3K subscribers • 21 videos on Hallway
- Recommended by 1 person: 1 in engineering communities.
- Presented by Ron Pressler, founder of Parallel Universe
- An opinion. It argues one side of a question engineers disagree on.
Intermediate. Assumes working knowledge.
14K views10 years ago1 recommendation
Software designComputer scienceComputation and complexityFormal methods and verificationSimplicity and complexity
Ron Pressler argues that mathematical formal methods alone cannot solve the software correctness problem due to computational complexity limits.
Curry On, Rome July 18th 2016. curry-on.org