Before writing a TLA+ specification, you need to configure the TLA+ toolbox to install additional dependent community modules.
Follow these steps to set it up:
-
Download the SedeveModules jar. We developed TLA+ modules StateDB, GenID .
Download the SQLite JDBC driver jar
-
In tla+ toolbox, go to
File -> Preferences -> TLA+ Preference
Specify TLA+ library path option of SedeveModules, SQLite JDBC driver
