PLC Logic Prover

Free software to test PLC logic