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