Use Case to Kripke Structure and LTL Formulas Generator Tool (UCKSLTL)
收藏NIAID Data Ecosystem2026-03-11 收录
数据链接：
官方服务：
资源简介：
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
创建时间：
2020-03-29
