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.

ProM 6.1 - LTL-checker

Jo_SwinnenJo_Swinnen Posts: 12
edited September 2011 in ProM 6
Hi all,

First of all, I did not try everything yet in ProM 6.1 but until now it looks great!
I have a question regarding the LTL-checker in ProM 6.1. How can I further use/export the event logs with the compliant and non-compliant cases?
It seems that I can only use the 'Checking Results' after executing a rule in the LTL-checker.

Thank you!

Kind regards,



  • Dear Jo,
    to do that, you have to select the option "All" (instead of "Favorites") in the Workspace.


  • Thank you very much! Now I see it.

Sign In or Register to comment.