net.automatalib.examples.modelchecking

Class LTSminMonitorExample

java.lang.Object

net.automatalib.examples.modelchecking.LTSminMonitorExample

public final class LTSminMonitorExample
extends Object

Example for using LTSmin to perform modelchecking using monitors. Make sure to correctly setup your LTSmin installation.

This example requires at least an LTSmin version ≥ 3.1.0.

Author:

frohme, Jeroen Meijer

See Also:

http://ltsmin.utwente.nl, AutomataLibProperty.LTSMIN_PATH

Method Summary

Modifier and Type	Method and Description
static void	main(String[] args)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

main

public static void main(String[] args)