This is a new repository for the SmartThings execution infrastructure for Groovy.
This project attempts to model-check SmartThings Groovy smart apps.