To prevent spam users, you can only post on this forum after registration, which is by invitation. If you want to post on the forum, please send me a mail (h DOT m DOT w DOT verbeek AT tue DOT nl) and I'll send you an invitation in return for an account.
How to use LTL Checker Plug-in
i want to create small project that use LTLChecker plug-in to create rules, can any one give me sample how to do it or documentation for this plugin methods.
thank you in advance