Download
PLC Logic Prover
Note: When prompted by firewall or antivirus software allow PLC Logic Prover to access the network. The network access used for connection to the PLC and for checking latest updates on the internet. Read more at troubleshooting page.
Auto update
We fix bugs and add new features regularly. There is no need to come back to this page for a newer version. PLC Logic Prover will be always up-to-date. The software has inbuilt autoupdate mechanism. On every start it will check for an update, download it and will ask when to install the update.
Antivirus software alert
Some antivirus software might highlight installation file as a suspicious file.
However, ESET, Avast, Microsoft Defender and other antivirus softwares do not find any malicious threats or viruses in PLC Logic Prover when scanned directly.
System Requirements
PLCs: Allen Bradley CompactLogix and ControlLogix Processors with Ethernet Card
Operating System:
32-bit/64-bit Windows 7, Windows 8, Windows 8.1, Windows 10 or later
64-bit MacOS Yosemite 10.10 or later
64-bit Ubuntu 14.04+, Debian 8+, openSUSE 13.3+, or Fedora Linux 24+
Processor: 1.6 GHz (2.5 GHz recommended)
Memory: 2 GB (4 GB recommended)
Disk space: 200 MB
Display: 1024×768 (1920×1080 recommended)
Have a question? Post it in Github Issues or send it to alex@controlx.io