Return Styles: Pseud0ch, Terminal, Valhalla, NES, Geocities, Blue Moon. Entire thread

Formal Methods

Do you use them? Have you found them useful?

I've been studying the Z notation, and it has been quite interesting thus far.

FORMAL METHODS!!!!!!!!!!!!!!!!!!!!
AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA

Well, since you've been studying it, do you think it seems useful?

>>2
Is this your way of saying `No'?

>>3
It would seem so.

Unpopular and largely unusable, hard to maintain etc.

>>6
Have you used them or are you just repeating what you heard from someone who hasn't used them either?

Newer Posts