In der Straßenverkehrsordnung werden aber auch die Begriffe Eisenbahnübergang und Bahnübergang bei der Beschreibung der entsprechenden Verkehrszeichen verwendet.
Diese Durchlässigkeit wurde nach 1945 für etwa 25 Jahre durch die Schließung der Eisenbahnübergänge und fast aller Straßenübergänge drastisch reduziert.
Als sie einen Eisenbahnübergang erreichten, an dem ein Zug stand ohne weiterzufahren, schulterten die drei ihre Räder und kletterten durch den Zug auf die andere Seite.
Die Verwendung von solchen Metasprachen und Beweisen wird sich in der Regel nur für sicherheitskritische Systeme (z. B. Eisenbahnübergänge, Kernkraftwerke) rentieren, da die Beweise sehr aufwendig und damit teuer sind.
