Model-checker (Prüfsoftware)

Auswertung des Bauwerksdatenmodells auf Basis von teilautomatisierten Prüfregeln. Anwendungsfälle sind u.a. die Prüfung auf Kollisionen, vorhandenen Eigenschaften und Einhaltung von Abstandsregeln.

Kategorie: M