Tempo is a simple formal language for modeling distributed systems with (or without) timing constraints as collections of interacting state machines, called timed input/output automata.
 
About Tempo
Current Version - 0.1.4 Beta
The links below correspond to version 0.1.4 of the toolkit. It now includes the Eclipse user interface as well as the command line interface. Note that you do not have to download both. If you wish to only use the UI, grab the Eclipse archive.
 
Downloading BETA 0.1.4
Command line version of the tools
  1. tempo.zip             Platform neutral version    MD5=419d2816c25eb8dea39c8489c86ad775
  2. tempo.msi            Windows installer              MD5=79b1699ae31179714fc0845599638209
 
Eclipse-based User-interface
  1. tempo_ui.msi                     Windows            MD5=72cdf557f3b8b1e501a02ff4d1ddd910
  2. tempoGUI_OSXppc.zip     OSX-PPC           MD5=a6a2518dd4992176c3a154995c32744a
  3. tempoGUI_LinuxX86.zip    Linux                  MD5=e197110a31f92966f7977f6644484061
 
Getting started documentation
  1. Readme first                README.pdf
  2. Installation notes          INSTALL.pdf          
  3. Release notes              ReleaseNotes.pdf
 
 
1