Solibri Model Checker

Das vorliegende Aufbaukurs Handbuch für den Solibri-Model Checker schließt in seiner ersten Auflage nahtlos an die Inhalte des Solibri Model Checker Grundkurs Handbuches und die vermittelten Kenntnisse daraus an. Zunächst wird vertiefend auf weitere Werkzeuge und notwendige strukturelle und konzeptionelle Vorgehensweisen für einen effizienten Einsatz im eigenen Planungsprozess anschaulich eingegangen. Diese Kenntnisse können für alle Bereiche im Umgang mit dem Solibri Model Checker genutzt werden. Anhand eines Projektes werden im Anschluss die Schwerpunkte und Möglichkeiten des individuellen Erstellens von Prüfroutinen nach eigenen Anforderungen im Detail Schritt für Schritt beleuchtet. Zusätzlich werden die Auswertungsmöglichkeiten des Solibri Model Checkers beleuchtet. Es dient zusätzlich als Nachschlagewerk, um grundlegende Fragen der Anwendung des Solibri Model Checkers klären zu können. Die einzelnen Kapitel bauen aufeinander auf und es ist daher empfehlenswert diese chronologisch zu bearbeiten.