We do a version of this approach for system behavior V&V: https://docs.auxon.io/...

		im_down_w_otp 7 months ago \| parent \| context \| favorite \| on: The current state of TLA⁺ development We do a version of this approach for system behavior V&V: https://docs.auxon.io/conform