This week
A few formal methods in action
Repeat: little attention has been paid to “non-functional” requirements
- These have, however, been very high on your radar during class discussions
- So far, formal methods have relatively little to contribute in this (very difficult) area
Oh yeah…I’ll work the whiteboard a bit today, too