Verification of Current State Opacity using Switching Output Automata.

Tianyu Liu, Carla Seatzu, Alessandro Giua

Browse the full CoDIT paper archive.