LTSmin: Difference between revisions

Revision as of 11:54, 9 June 2020

In order to set up LTSmin , do the following:

Download the latest LTSmin release: https://github.com/utwente-fmt/ltsmin/releases and extract it
(Linux only) start ProB via LD_LIBRARY_PATH=lib/ ./prob if you have not installed ZeroMQ and CZMQ
In ProB, go to Preferences > All Preferences (alphabetical)…
Set the LTSmin preference to the bin/ subfolder of the extracted LTSmin archive
Start Model Checking via Verify > External Tools > Model Checking with LTSmin

Note that the LTSmin extension is not available for Windows.

@@ Line 1: / Line 1: @@
 == LTSmin Extension of ProB ==
-In order to set up LTSmin, do the following:
+In order to set up  [https://github.com/utwente-fmt/ltsmin/releases LTSmin] , do the following:
 * Download the latest LTSmin release: https://github.com/utwente-fmt/ltsmin/releases and extract it