I wonder when this course was taught? I like Z but it has gone out of fashion. The course schedule page lists a Mon Jan 10. The most recent textbook, Logic in Computer Science, appeared in 2004. Jan 10 last fell on a Monday in 2011 and 2005, according to https://spu.edu/ddowning/percal.htm
1 comment
[ 3.2 ms ] story [ 10.6 ms ] thread15-819: Specification, Verification, and Model Checking "Spec and Check!" http://www.cs.cmu.edu/~15819/
I wonder when this course was taught? I like Z but it has gone out of fashion. The course schedule page lists a Mon Jan 10. The most recent textbook, Logic in Computer Science, appeared in 2004. Jan 10 last fell on a Monday in 2011 and 2005, according to https://spu.edu/ddowning/percal.htm