Replying to
@david_chisnall@infosec.exchange people dont notice, because they are used to write specifications in the form of telling others what to do.
They still should talk about this part more though, as they are often very terrible in it.
For the fun part, many of the verification steps are also done directly or indirectly by generated code. So it needs a lot of manual testing.
A bit like trial and error programming one is doing in the first years of learning....
