Publication | Closed Access

Classification of rules for automated BIM rule checking development

EngineeringProgram AnalysisAutomated ReasoningSoftware TestingVerificationKnowledge DiscoveryFormal MethodsSoftware AnalysisRule-based SystemRule LanguageConformance CheckingComputer ScienceFormal VerificationBim Rule