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