Windows · Free download · General
G4LTL1.0r3
G4LTL : Generate controllers for LTL specifications
- Operating system
- Windows 10/11
- File size
- 565 KB
- License
- BSD License
- Last updated
- Apr 30, 2026
62 downloads·544 page views
Sponsored
Overview
What is G4LTL?
G4LTL : Generate controllers for LTL specifications
In depth
A closer look at G4LTL
G4LTL is a lightweight and easy to use application designed to provide you with a simple method for generating controllers that create LTL specifications. G4LTL can generate pseudo code, FSMActors for Ptolemy II or SAL models. The user can enter the input and the output signals and configure the unroll steps. Two front-end translators are supported: LTL2Buchi (Java) or LTL2BA (limited platforms).
Verdict
Should you download G4LTL?
G4LTL runs on Windows 10/11 and is available under the BSD License license — the installer is 565 KB. We’ve catalogued it under General.
Verified clean. Every G4LTL build on SoftLookup is scanned for viruses, spyware, adware, trojans and backdoors. We re-test on every update.
Sponsored
At a glance
G4LTL specifications
- Category
- General
- Publisher
- Chihhong Cheng
- Last updated
- Apr 30, 2026
- License
- BSD License
- Operating system
- Windows 10/11
- File size
- 565 KB
- Price
- Free
- Page views
- 544
Leave a comment
Help fellow users decide. Share your experience with G4LTL.