Describir: Verifizierende rechnerinvariante Numerikmodule /