[Hol-info] anecdote that the spec for sorting is output is sorted AND a permutation?

Years ago I heard an anecdote that someone had been teaching a class on verifying software. The example was proving the correctness of a sort function. For some time, the specification (thing to prove) was that the output of sort was in order. It was some time before it was realized that the spe

[Hol-info] CfP formal methods for statistics software, 2 March deadline

CALL FOR POSITION STATEMENTS --- U.S. Census Bureau National Institute of Standards and Technology (NIST) Formal Methods for Statistical Softw

[Hol-info] Formal Methods for Statistical Software, Call for Position Statements

CALL FOR POSITION STATEMENTS --- Formal Methods for Statistical Software 1 May 2019 Historic Inns, Annapolis, MD