VeriFog: A Generic Model-based Approach for Verifying Fog Systems at Design Time.

Hiba Awad, Abdelghani Alidra, Hugo Bruneliere, Thomas Ledoux, tienne Leclercq, Jonathan Rivalan

Browse the full SAC paper archive.