Search results

You may enter multiple names here.
  1. jubnzv

    Static code analysis and formal methods for PLC software

    Does it make sense to apply static code analysis and formal methods to PLC software written in domain specific languages such as IEC61131-3? Is this common in the industry? What is your experience?
Top