3 ms·
Neat. Got stuck watching Die Hard clips. Can I do all this from the CLI?
by jakeogh 9y ago
Neat. Got stuck watching Die Hard clips. Can I do all this from the CLI?
- ahelwer 9y agoYes you can run the syntax & model checkers from the CLI, although then you need to manually write the model-checking settings file which I don't think the video series covers. It is covered in Lamport's Specifying Systems book, or you can take a look at the settings file generated by the GUI toolbox and adapt it to your own uses.
- jakeogh 8y agoVery cool. Thank you.