For all the simpler models (bitregister and AVdeviceDiscovery and dining philosophers) the model checker crashes with an error message like:
org.eclipse.swt.SWTException: Invalid thread access
at org.eclipse.swt.SWT.error(SWT.java:4397)
at org.eclipse.swt.SWT.error(SWT.java:4312)
at org.eclipse.swt.SWT.error(SWT.java:4283)
at org.eclipse.swt.widgets.Widget.error(Widget.java:472)
at org.eclipse.swt.widgets.Shell.<init>(Shell.java:283)
at org.eclipse.swt.widgets.Shell.<init>(Shell.java:375)
at org.eclipse.jface.window.Window.createShell(Window.java:488)
at org.eclipse.jface.window.Window.create(Window.java:431)
at org.eclipse.jface.dialogs.Dialog.create(Dialog.java:1104)
at org.eclipse.jface.window.Window.open(Window.java:791)
at org.eclipse.jface.dialogs.MessageDialog.open(MessageDialog.java:334)
at org.eclipse.jface.dialogs.MessageDialog.open(MessageDialog.java:364)
at org.eclipse.jface.dialogs.MessageDialog.openInformation(MessageDialog.java:442)
at eu.compassresearch.ide.modelchecker.MCProgressView$1.run(MCProgressView.java:62)
at org.eclipse.core.internal.jobs.Worker.run(Worker.java:53)
