2 ms·Verifying Selection Sort: An Introduction to Program Verification in Dafny1 points by maxmusing 3y ago