Close menu
-
Windows Apps
-
Wordpress
-
Linux Apps
-
MAC Apps
0 Reviews
FREE
License
PAID
Version
G4LTL 1.0r3
LatestUpdate
Last updated
OS
Language
EN
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).
No reviews found
SoftPas is a platform that provides you with the latest software and technology news, reviews, and guides. We also provide you with the latest software and technology trends.
Subscribe to newsletter
© Copyright 2024, All Rights Reserved by SoftPas
