SALTXT: An Xtext-based Extendable Temporal Logic Compiler
for Degree:
Status:
Completed
Author: Sebastian Hungerecker
SALT is a high-level temporal logical specification language that facilitates the writing of specifications that describe the behavior of complex systems. This thesis describes the implementation of SALTXT, a new compiler and Eclipse plug-in for SALT.
SALTXT is a new implementation of SALT that has been designed to be extendable and easily deployable. It also includes an Eclipse plug-in that offers, for the first time, IDE support for creating SALT specifications.