10 citations · 11 across the 11 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,…