3 citations · 3 across the 3 of their papers we have counts for
1 paper · 1 filter
Jürgen Christ, Jochen Hoenicke
The (extensional) theory of arrays is widely used to model systems. Hence, efficient decision procedures are needed to model check such systems. Current decision procedures for the…