The work is dedicated to verification of automatic logic control systems by analyzing the correctness of state diagrams of control finite state machines which are represented in the form of the code ...

The Ikan Light Deck is being touted as a professional DMX lighting control application designed for broadcast, studio, and live event environments.