Publication | Closed Access

LicA: A BIM based automated code-checking application for water distribution systems

Software MaintenanceProgram CheckingEngineeringVerificationSoftware EngineeringSource Code AnalysisSoftware AnalysisFormal VerificationSystems EngineeringWater Distribution SystemsRuntime VerificationComputer ScienceStatic Program AnalysisSoftware DesignSoftware VerificationProgram AnalysisSoftware TestingCode-checking ApplicationFormal MethodsSystem Software