strategFTO
strategFTO is an open source software tool to perform the exhibition of a controller for opacity, ie a set of controllable actions, such that the system is fully timed-opaque. It iteratively constructs strategies and check full timed opacity.