I’ve been working on another verification example, analyzing US regulatory requirements for proving (and advertising) fuel efficiency.  As usual, diversion has happened: I found myself deeply involved in a process called “requirements compilation”, so temporarily set aside the example in order to deal with that.  The example will then address both compilation and verification methods, making it more useful.

It is unfortunate (maybe) that a second-order diversion cropped up: I found myself repeatedly explaining why traceability is useful and important.  So…I interrupted the requirements compilation discussion to discuss basic concepts of traceability, with particular attention to the utility of the concept.  That discussion is found here.  Now I have to go back and extract all that stuff from the thing I was diverted to when I got diverted by the thing I just finished.

More to come.