Back when I did my CS degree, we were taught the "B-method": https://en.wikipedi...

		obtino on Jan 22, 2019 \| parent \| context \| favorite \| on: Why Don't People Use Formal Methods? Back when I did my CS degree, we were taught the "B-method": https://en.wikipedia.org/wiki/B-Method The course dropped in popularity with students and the university eventually dropped it. Looking back on it, it really should've been a mandatory course for all software engineering students.

In the 90s, z-notation was taught in many UK CS courses.