G4LTL 1.0r2
Generate controllers for LTL specifications
Generate controllers for LTL specifications
ADVERTISING
Software Specs
Publisher:............ Chihhong Cheng
License:............... Freeware
File size:.............. 561 KB
Downloads:.........
Release date:...... 03 Apr 2013
Last update:........ 17 Sep 2014
Publisher review for G4LTL 1.0r2:
Review by: Chihhong Cheng
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).
Requirements:
Java
Operating system:
Windows 8, Windows 7, Windows Vista, Windows XP, Windows 2000, Windows 98
G4LTL screenshots:
G4LTL download tags:
LTL specification LTL controller LTL synthesis translator
Copyright information:
SPONSORED LINKS
Rate this software
G4LTL
Based on 0 ratings. 0 user reviews.
Based on 0 ratings. 0 user reviews.