This is an interesting approach but not so easy to implement. Defining all functionalities through assertions is still very difficult.
Mutation analysis, as Springsoft Certitude provides, is more appropriate to current verification flows/terams relying on simulations.
What are the engineering and design challenges in creating successful IoT devices? These devices are usually small, resource-constrained electronics designed to sense, collect, send, and/or interpret data. Some of the devices need to be smart enough to act upon data in real time, 24/7. Specifically the guests will discuss sensors, security, and lessons from IoT deployments.