The Internet of Things gives us access to the data from millions of devices. But how does it work, and what can we do with all that data? Find out in this animated tutorial from IBM's Think Academy. For more information on IBM and the Internet of Things, please visit: http://www.ibm.com/IoT
The purpose of this course is to learn how to specify the behavior of embedded systems and to experience the design of a provably correct system. In this course you will learn how to formally specify requirements and to prove (or disprove) them on the behaviour. With a practical assignment you will experience how to apply the techniques in practice.