20 citations · 90 across the 19 of their papers we have counts for
1 paper · 2 filters
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…