88 citations · 106 across the 3 of their papers we have counts for
1 paper · 1 filter
Dirk Beyer, Alessandro Cimatti, Alberto Griggio +2
The construction and analysis of an abstract reachability tree (ART) are the basis for a successful method for software verification. The ART represents unwindings of the control-f…