In this demo, we illustrate how to use VerioT to verify real-world IoT delegation.
https://github.com/VerioT/VerioT