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