3 ms·
I'm curious where you get this consensus. It's not at all shared by everyone, especially with the huge strides SPARK and Frama-C have made.
by touisteur 5y ago
I'm curious where you get this consensus. It's not at all shared by everyone, especially with the huge strides SPARK and Frama-C have made.
- posix_me_less 5y agoI didn't mean academic consensus. More like industry / security-aware people in IT consensus - almost nobody in software does formal verification and it would be foolish for any user, whether person, business or government, to take this as solution to their VM hosting security problems. Yes formal verification has made advancements and is a useful tool, in proper context. Not in the context the article is selling the work of the researchers.