Programming.
will look like this: SPECIFICATION Spec \* Add statements after this line. But there are a variety of parameters you can set before checking your models. The most useful of these areINVARIANT and PROPERTY which specify which invariants and which temporal properties to test respectively. Here’s a