PLC Logic Prover
Free software to test PLC logic
What is PLC Logic Prover?
PLC Logic Prover is a PLC logic testing software.
It simulates hardware IOs with implementing a specification-based testing method of PLC logic that examines the functionality of an application without peering into its internal structures or workings.
Learn more on YouTube
Simple UI
It is straightforward to create a test case. The app has a user friendly interface and the test can be built by a non-PLC programmer.
Test your mate's work
When outsourcing PLC development to a graduate or subcontracted engineer create a test project and check their work with confidence.
One-size-fits-all
One PLC Logic Prover project is used for different PLC programs with the same repetitive logic.
To test PLC program it will be needed:
A computer
AB PLC - ControlLogic or CompactLogic
with an ethernet card
without the IO cards or inhibit the entire IO bus (recommended for more test options)
An Ethernet cable
Read about how it works on PLC Testing page.
What PLCs are supported?
Currently it works with Allen Bradley CompactLogix and ControlLogix Processors with Ethernet Card. We are seeking for feedback and we are planning to support Schneider M340/M580 and Siemens S7 PLCs.
Have a question? Post it in Github Issues or send it to alex@controlx.io