27 citations · 47 across the 17 of their papers we have counts for
1 paper · 1 filter
Yu-Yang Lin, Nikos Tzevelekos
We present a Bounded Model Checking technique for higher-order programs. The vehicle of our study is a higher-order calculus with general references. Our technique is a symbolic st…