RADAR/Space-Time tools

This page includes auxiliary tools for the development and testing of RADAR/Space-Time Module. These tools are for the internal use in the Space-Time group, and they are not part of the RADAR architecture.

Editing of system parameters

This tool is a GUI for the editing of the system parameter file, implemented by Mark Levine.

Software: params.exe (executible) and params.edt (ASCII)
Instructions (ASCII)

STP semantic difference

This tool finds the difference between two STP world models; furthermore, it allows incorporating this difference into another STP world model.

Software: difstp.exe (executible) and difstp.bat (batch)
Instructions (ASCII)

Back to the RADAR/Space-Time page.