Formal methods
The failure of proof of correctness to meet its promises caused a heavy decrease in interest in the late 1970’s and the 1980’s
But there has been a resurgence of interest in formal methods starting in the late 1980’s and through the 1990’s
- Mostly due to potential usefulness in specification and a few success stories
- Still not entirely compelling to me, in a broad sense, but definitely showing more promise
- Key issues to me include
- Partial specifications
- Tool support (making specifications “electric” — D. Jackson)
- What domains, and applied by whom?