6 citations · 15 across the 11 of their papers we have counts for
1 paper · 1 filter
Cong Sun, Liyong Tang, Zhong Chen
We propose an approach on model checking information flow for imperative language with procedures. We characterize our model with pushdown system, which has a stack of unbounded le…