Comment by ocschwar

The trouble is the simulation tools are either proprietary and thus have only a small mind share among software developers, or academic, and either way, PLC programmers have not gone near them yet.

But a decent LLM should be able to translate the description of a plant to a TLA+ model (or Alloy, or something similar.)