Abstract Model checking is a promising formal verification method to complement testing in
order to improve the quality of PLC programs. However, its application typically needs deep …

Formal verification methods like model checking can provide mathematical proofs of design
correctness, so their use is justified in applications where safety or reliability requirements …

Yarn quality analysis is an issue that textile companies try to solve in a fast and automatic
way. Nowadays, yarn quality analysis machines are available in the market, but those are …

For historic reasons, industrial knowledge of reproducibility and restrictions imposed by
regulations, open-loop feeding control approaches dominate in industrial fed-batch …

Formal methods-such as model checking-have definite advantages over more
commonplace verification techniques. By providing proof of the analyzed systems' …

Verification of critical software is a high priority but a challenging task for industrial control
systems. Model checking appears to be an appropriate approach for this purpose. However …

As formal verification tools gain popularity, the problem arises of making them more
accessible to engineers. A correct understanding of the logics in which properties are …

Underground mining is a difficult area for miners to work. Miners must go to the working
faces by walking, which is not only time consuming but also physically demanding. In mines …

Formal methods and languages are used to prove the correctness of various industrial
systems, especially mission-critical ones. They can also be viewed as a means to provide …

Model checking is a powerful formal verification method. However, due to the complexity of
instrumentation and control (I&C) system logics-even in critical applications like nuclear …