6 citations · 16 across the 6 of their papers we have counts for
1 paper · 1 filter
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…