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