Post #1546533

@mansr @dpiponi one of the dirty little secrets is that formal specifications are really difficult artifacts to deal with -- in fact they can be more difficult than code...