Build VMs, containers, AI, databases, storage—all in one place.
Start your project in minutes. After credits run out, 20+ products include free monthly usage. Only pay when you're ready to scale.
Get Started
Earn up to 16% annual interest with Nexo.
More flexibility. More control.
Generate interest, access liquidity without selling, and execute trades seamlessly. All in one platform.
Geographic restrictions, eligibility, and terms apply.
PiXtend® multiplies the capabilities of the Raspberry Pi and forms the ideal basis for challenging projects.
The PiXtend Platform provides numerous digital and analog inputs & outputs as well as a variety of serial interfaces like RS232, RS485 and CAN.
In this repository you can find the Linux C library called "pxdev" that can be used to develop your own Linux applications for the PiXtend system (V1 & V2).
Sample programs for every PiXtend version are also included in this...
Generating PLC programs from formal specifications
G4LTL-ST is a standalone tool and a Java library for automatically generating industrial control software (supporting IEC-61131-3 Structure Text) from LTL or extended logic specifications.
See Tutorial.txt inside the package for step-by-step instructions. For technical demails, see CAV'14 paper "G4LTL-ST: Automatic Generation of PLC Programs". The old version (G4LTL; under BSD license) is available under file\arxiv.