Generate controllers for LTL specifications
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
Learn to hack ethically
Price: $0, Rating: 9.39, Downloads: 396
Download
This ASP component enables file downloads to be controlled from within a script. It allows for password protection of individual files, and for record keeping. A built in access code generator is included. There are also some file utility functions.
Price: $35, Rating: 1, Downloads: 289
Download
With TreeBase Generator you will receive a MS Windows based application. It was tested on Win 98, ME and 2000. TreeBase Generator will create a new database for you and will also generate a complete w
Price: $ 79, Rating: 10, Downloads: 237
Download
Finds and erases confidential information.
Price: $ 29.95, Rating: 9, Downloads: 224
Download
QueryShark is an easy to use, agent-less tool to collect system information from your network of Windows based computers.
Price: $ 295, Rating: 10, Downloads: 173
Download 
G4LTL 1.0r2 
