SALTXT: An Xtext-based Extendable Temporal Logic Compiler

for Degree: 

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.