I’m super excited about the possibilities of these kinds of formal methods, and how much more accessible model extraction from existing code makes them. It doesn’t replace all thought, but does take out a lot of the grind in specification writing, and (to some extent) reduce the doubt about the validity of the mapping between the code and the specification. Very cool stuff.
First thought - this would be much better with supporting audio/video. Lo and behold, the talk was recorded: https://www.youtube.com/watch?v=IINmkv4izVQ :)
I’m super excited about the possibilities of these kinds of formal methods, and how much more accessible model extraction from existing code makes them. It doesn’t replace all thought, but does take out a lot of the grind in specification writing, and (to some extent) reduce the doubt about the validity of the mapping between the code and the specification. Very cool stuff.