Use Case to Kripke Structure and LTL Formulas Generator Tool (UCKSLTL)
收藏Mendeley Data2024-03-27 更新2024-06-27 收录
下载链接：
https://dataverse.harvard.edu/citation?persistentId=doi:10.7910/DVN/S9HQYD
下载链接
链接失效反馈官方服务：
资源简介：
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
创建时间：
2023-06-28
