17 citations · 28 across the 4 of their papers we have counts for
1 paper · 1 filter
Ruijie Meng, Zhen Dong, Jialin Li +2
Software model checking is a verification technique which is widely used for checking temporal properties of software systems. Even though it is a property verification technique,…