123 citations · 254 across the 23 of their papers we have counts for
1 paper · 2 filters
Sven Apel, Dirk Beyer, Karlheinz Friedberger +2
The success of software model checking depends on finding an appropriate abstraction of the subject program. The choice of the abstract domain and the analysis configuration is cur…