Programming.
them automatically the same way you might do with other forms of testing in continuous integration. pcal: Translating PlusCal to TLA+ Once you have installed and configured the command line toolbox, you can start translating PlusCal comments in your specs to TLA+ using the pcal command. Note that