Symbolic Model-Checking of Linear Programs