Approximation of CFL by Regular Languages for Concurrent Program Verification | IEEE Conference Publication | IEEE Xplore