Third up: the experience report "Teaching Software Specification" by Cameron Moy and Daniel Patterson. This paper makes the provocative but very good point that (at least) some courses on software verification could actually benefit by teaching formal *specification* instead. I found section 7 (interviews with students who took two very different versions of their course) particularly interesting. I just might have to make some changes to my FP course based on this.

(Also I was glad to see the work of @sarantja on teaching theorem provers getting a mention here!)

dl.acm.org/doi/10.1145/3747533

#SoftwareVerification #SoftwareSpecification #Education