SMS dit: Verifizierende rechnerinvariante Numerikmodule /