Polyspace Code Prover

Nachweisen, dass die Software keine Laufzeitfehler enthält