Formal Specifications are not yet widely used
Reasons
- emerging technology with unclear payoff
- little experience
- lack of automated support
- not especially user friendly
- too many in-place techniques and tools
Excuses
- high learning curve
- mathematical sophistication required
- techniques not widely applicable
- ignorance of advances