2 ms·
TL;DR but I think the future is verified correct programming. It's been around a while but been too hard to do right, or do fast. I think though that the nee
by dromey 15y ago
TL;DR but I think the future is verified correct programming. It's been around a while but been too hard to do right, or do fast. I think though that the needs for greater security and correctness will reassert themselves.