12 citations · 12 across the 1 of their papers we have counts for
1 paper
Jean-Loup Carre, Charles Hymans
A great variety of static analyses that compute safety properties of single-thread programs have now been developed. This paper presents a systematic method to extend a class of su…