Ein Entwurf zur maschinellen Unterstützung von Korrekheitsbeweisen bei Simulationen.