Software Listing of Author : "Chihhong Cheng"

  • G4LTL
  • License: Freeware
  • Price: 0.00

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


  • Platform: WinOther
  • MGSyn
  • License: Shareware
  • Price:

MGSyn (Model, Game, Synthesis) is an open-source tool which integrates game-based synthesis into model-driven development for industrial control and automation. It is developed by Department of Informatics (Unit 6), TU MdoDsnchen, and fortiss GmbH and is served for research and educational purposes. The software is released under the GNU General Public License (v3).

Features:

Game-based synthesis
Integration into the Eclipse Modeling Framework (EMF + Xpand)
Easy modeling for industrial automation (supporting FESTO MPS)
Interactive simulator - running without concrete hardware

  • Platform: WinOther
New Reviews

Print Inspector

Whether you are using a printer connected to your local desktop computer or a print server sometimes you need to see whats going on in your printer by having a close look at the print jobs sent by the users. Print Inspector is such type software ...


Disk Genius

Disk Genius was formerly known as Partition Guru which is an all-in-one solution for disk partition management, data recovery and disk repairing. It can recover lost files from partition, backup and restore partition table, clone partition or clone ...


Safe In Cloud

It is quite difficult to find any computer users nowadays who do not need to use the web, for any purpose. Whether it is for education or entertainment, the web is your best resource. You also need to use various online services for banking, ...


PictBear

Nowadays, a majority of PC users resort to digital image editing once in a while. It may be required for retouching image captured in smart phones or for creating an album in Facebook. For some people, tinkering with digital images is a pastime too. ...


Panda Cloud Cleaner

PC security has become a tricky and complicated subject both for home users and network supervisors, with complexity and risk factors multiplying over the years. Using a single antivirus app may not be enough anymore. That explains why many users ...


SnapCrab

Nearly every PC users need to take screenshots from time to time, whether it is for personal or professional needs. While using the basic Windows screenshot capture method is available, it is not adequate for everyone. When you want to capture ...


BitKiller

Dealing with various types of data efficiently holds the key to success in any computing task. Apart from generating new data and modifying existing files, it becomes necessary to delete existing files at times. While most users resort to using ...


New Downloads

Project Timer

Project Timer, a project timer
for the Windows taskbar
notification area. Project
Timer is a simple but powerful
windows ...

Disk Usage Analyzer Free

Disk Usage Analyzer Free - a
small utility that will help
you visualize how to allocate
space on your hard drive. Any
PC ...

ChequeSystem Cheque
Printing Software

ChequeSystem provides a
complete cheque printing and
management solution. You are
no need to write any, just
print and ...

Devart ODBC Driver for
PostgreSQL

Devart ODBC Driver for
PostgreSQL is a
high-performance connectivity
tool with enterprise-level
features for accessing ...

Express Scribe Pro Edition

Express Scribe Pro Edition
helps typists by installing on
the user\'s computer and
connecting to a transcription
foot ...

IP Tools for Excel

NEW - IP Tools for Excel -
Add-in / Plug-in for Microsoft
Excel. Instant Productivity -
Instant Results in Microsoft
...

Lodgit Desk Hotel Software
for Windows

Booking software for all kinds
of lodging establishments
incl. reservation schedule,
booking and guest list,
cleaning ...

AllMyNotes Organizer
Portable

This is simply the most
advanced software to keep all
private info securely
encrypted on USB drive, worry
free. Simply ...

BestCrypt Container
Encryption

To protect your privacy,
comply with regulations and
prevent data breaches,
BestCrypt delivers
\'on-the-fly\' data ...

C# PDF

IronPDF is a PDF C# C-Sharp
package for conveniently
generating, editing,
extracting content from PDF
documents (OCR). C# ...