Problem definition

PLC programs are responsible for a wide variety of process control tasks, having different levels of criticality. In all cases, the correct behavior is highly desired. Model checking is a formal verification method that checks the satisfaction of precisely-defined requirements on mathematical models. The goal of PLCverif is to bring model checking to PLC programs, allowing to benefit of the precise verification method, without requiring excessive special knowledge or resources.

results matching ""

    No results matching ""