21 citations · 53 across the 22 of their papers we have counts for
1 paper · 1 filter
Arnd Hartmanns, Holger Hermanns
The applicability of model checking is hindered by the state space explosion problem in combination with limited amounts of main memory. To extend its reach, the large available ca…