G4LTL

Name: G4LTL
Works on: windows

Windows 7 and above

Version: 1
Last Updated: 28 Mar 2017
Release: 03 Apr 2013
Category: Programming > Other Programming Files

Rate this software:
337 downloads

View Screenshots(2)

Comments

Download

Liked it? Tell others:

G4LTL Tags

LTL specification LTL controller LTL synthesis specification synthesis translator signal

G4LTL Details

Works on: Windows 10 | Windows 8.1 | Windows 8 | Windows 7 | Windows 2012
SHA1 Hash: 350a9f1b360018277047799bcb8f844a2236ab71
Size: 579.48 KB
File Format: zip

Rating: 1.869565217 out of 5 based on 23 user ratings

Publisher Website: External Link
Downloads: 337
License: Free

G4LTL is a free software by Chihhong Cheng and works on Windows 10, Windows 8.1, Windows 8, Windows 7, Windows 2012.
You can download G4LTL which is 579.48 KB in size and belongs to the software category Other Programming Files.
G4LTL was released on 2013-04-03 and last updated on our database on 2017-03-28 and is currently at version 1.

Thank you for downloading from SoftPaz! Your download should start any moment now. It would be great if you could rate and share:

Rate this software:
Share in your network:

G4LTL Description

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).System requirementsJava

G4LTL Screenshots

Similar Software