13 citations · 23 across the 4 of their papers we have counts for
1 paper · 1 filter
Qurat ul Ain Nizamani, Emilio Tuosto
Model checking is an automatic verification technique to verify hardware and software systems. However it suffers from state-space explosion problem. In this paper we address this…