Verifying Timed Properties of Programs in IoT nodes using Parametric Time Petri Nets.

tienne Andr, Jean-Luc Bchennec, Sudipta Chattopadhyay, Sbastien Faucou, Didier Lime, Dylan Marinho, Olivier H. Roux, Jun Sun

Browse the full SAC paper archive.