Algorithmic Verification Of Linear Dynamical Systems