4 points | by yruzin 8 hours ago
1 comments
I have a genuine question. Why can't any of these analyses on security ever throw up a gradual adoption of formal methods? Like, wouldn't that be the next thing that people should slowly start getting used to?
I have a genuine question. Why can't any of these analyses on security ever throw up a gradual adoption of formal methods? Like, wouldn't that be the next thing that people should slowly start getting used to?