1 citations · 1 across the 2 of their papers we have counts for
1 paper · 1 filter
Zhuofan Zhang, Herbert Wiklicky
Probabilistic abstract interpretation is a theory used to extract particular properties of a computer program when it is infeasible to test every single inputs. In this paper we ap…