Floating-Point Neural Network Verification at the Software Level