[DamonHD]

Do such things really happen at enough scale and regularly for a company to pay a salary for it? (Note: I'm not asking if they should!) This stuff is hard and the size of entities that can be specified and verified this way is going to be tiny compared to typical deliverables outside very specialist niches I guess.

(Disclaimer: decades ago I raised seed investment from a major engineering firm to do some of this stuff, and I think that I proved to myself that getting beyond a toy was implausible. I have a licence for the Edinburgh Concurrency Workbench that I can sell you!)