Modernster Verifizierungsprozess für Anforderungen, angewendet auf die numerische Finite-Elemente-Modellierung der tiefen Ausschachtung in weichen Böden | Synapse