This paper addresses formal validation of distributed logic controllers represented in Visual Flowchart Language (VFL) that is a high-level programming language used in industrial automation.