Programming Languages Research Group: Git - smartthings-infrastructure.git/blob - README

projects / smartthings-infrastructure.git / blob

d0c01ac30417723f738ec705c45bf8e603ae6c89

[smartthings-infrastructure.git] / README

1 This is a new repository for the SmartThings execution infrastructure for Groovy.

2 This project attempts to model-check SmartThings Groovy smart apps.

Unnamed repository; edit this file 'description' to name the repository.