2 citations · 4 across the 3 of their papers we have counts for
1 paper · 1 filter
Wanwei Liu, Rui Wang, Xianjin Fu +3
The cost of LTL model checking is highly sensitive to the length of the formula under verification. We observe that, under some specific conditions, the input LTL formula can be re…