refine specification for automatic verification

lbl-srg / obc

OpenBuildingControl - Performance Evaluation, Specification, Deployment and Verification of Building Control Sequences

http://obc.lbl.gov

27 stars 14 forks source link

Closed mwetter closed 2 years ago

mwetter commented 4 years ago

This issue is to refine the specification for the verification of control sequences compared to CDL.

mwetter commented 2 years ago

This is on the master.