4 ms·
The Future of Software System Correctness
- johnbender 16y agoI'm glad to see articles like this surface every once in a while but there are a few things I was surprised to find absent: 1. Model checking 2. Advanced type systems (dependent typing, etc) 3. Haskell's Quickcheck