A computer-algebraic approach to formal verification of data-centric low-level software | IEEE Conference Publication | IEEE Xplore