Free software to test PLC logic
The quality of a PLC program is defined by the quantity of tests!
Go to Downloads
Migrating to Open Source, see GitHub, download it here https://github.com/controlx-io/logic-prover-support/wiki