10 citations · 30 across the 25 of their papers we have counts for
Showing cs.FLShow all
2 papers · 1 filter
cs.FL2019
Prema: A Tool for Precise Requirements Editing, Modeling and Analysis
Yihao Huang, Jincao Feng, Hanyue Zheng +5
We present Prema, a tool for Precise Requirement Editing, Modeling and Analysis. It can be used in various fields for describing precise requirements using formal notations and per…
cs.FL2012★ 1 cited
On the Relationship between LTL Normal Forms and Buechi Automata
Jianwen Li, Geguang Pu, Lijun Zhang +3
In this paper, we consider the problem of translating LTL formulas to Buechi automata. We first translate the given LTL formula into a special disjuctive-normal form (DNF). The for…