Use Case to Kripke Structure and LTL Formulas Generator Tool (UCKSLTL)
Qamar Zaman, Aamer Nadeem, Muddassar Azam Sindhu · Harvard Dataverse · 2020
This tool generates a Kripke structure and LTL formulas from a use case description. It requires Java Runtime Environment (JRE) and GraphViz for its execution. The JRE can be found at https://www.java.com/en/download/. The GrpahViz can be found at https://graphviz.gitlab.io/download/. Video Tutorials of the Tool For Linux OS For Mac OS For Windows OS