94 citations · 123 across the 4 of their papers we have counts for
1 paper · 1 filter
Hua Mao, Yingke Chen, Manfred Jaeger +3
Constructing an accurate system model for formal model verification can be both resource demanding and time-consuming. To alleviate this shortcoming, algorithms have been proposed…