search

txt / se20

fall2020 cs310 se csc ncsu
Other
12 stars 28 forks source link

Peter O'Hearn Formal Reasoning and the Hacker Way #1

Open timm opened 4 years ago

timm commented 4 years ago

ship checks earlier to developers before they are perfect. they tell us wha checks are bad, find bugs earlier

image

timm commented 4 years ago

dont make it perfect then ship it but develop iteratively

image

timm commented 4 years ago

https://cacm.acm.org/magazines/2019/8/238344-scaling-static-analyses-at-facebook/fulltext

timm commented 4 years ago

formal methods. near enough is good enough

image