Section 1

anim2Anim (1)

Converts older animations to animations which use the animation package

bb (1x)

Compute branching bisimilar classes and distinguishing formula's

daVinci (1)

Interactive graph-visualization system

dot (1)

Preprocessor for drawing directed graphs

dot2anim (1)

Generates an animations from attributed digraph from dot

equiv (1x)

Branching Bisimulation equivalence tester

fc_lts (1x)

Translates a FC specification to LTS code.

genanim (1)

Generate animations for simanim

graphplace (1)

General graph placement filter, with postscript features

initial (1x)

Initial algebra report generator

itil_til (1x)

Converts ITIL-code to TIL-code

lts_fc (1x)

Translate LTS code to a FC specification

mtil_itil (1x)

Normalizes MTIL-modules and generates ITIL-modules

mtil_psf (1x)

Translate MTIL-code to a PSF specification

ppp (1x)

PSF pretty printer

ppptoroff (1x)

Generates Troff code from ppp device independent code

ppptotex (1x)

Generates TeX code from ppp device independent code

procgraph (1x)

Generate process graph

psf (1x)

PSF compiler

psf_mtil (1x)

Compiler from PSF to M-TIL code

psfide (1)

Integrated development environment for PSF

showanim (1)

Shows the drawings of the animation

sim (1x)

A simulator for specifications in TIL

simanim (1)

Couple sim and animation

simpp (1x)

Sim preprocessor, converts sorts and sets to enumerated sets in TIL-specifications

tbparpsf (1)

Parallel PSF compiler (ToolBus version)

tbpsf (1)

PSF compiler (ToolBus version)

tbsim (1)

A simulator for specifications in TIL (ToolBus version)

til_mcrl (1x)

Translate TIL code to uCRL

til_psf (1x)

Translate TIL-code to a PSF specification

traceanim (1)

Animates a trace generated with sim

traceview (1x)

View traces from sim

trans (1x)

Labelled transition system generator

trs (1x)

A term rewrite system for TIL expressions

trs_check (1x)

Check static semantics of a Term Rewrite System

ttrace (1)

Test trace from sim

Section 3

add_equation (3)

Term rewriter functions used in the PSF-Toolkit

create_eqm (3)

Term rewriter functions used in the PSF-Toolkit

eqm_setoptions (3)

Term rewriter functions used in the PSF-Toolkit

get_parseterm_error (3)

Routines for parsing PSF-terms

init_parse_util (3)

Routines for parsing PSF-terms

parseterm (3)

Routines for parsing PSF-terms

print_scan_error_str (3)

Routines for parsing PSF-terms

prtilparts (3)

Prints TIL data structure as PSF

scan_get_chars (3)

Routines for parsing PSF-terms

scan_reset_chars (3)

Routines for parsing PSF-terms

subst_free (3)

Term rewriter functions used in the PSF-Toolkit

term_instantiate (3)

Term rewriter functions used in the PSF-Toolkit

term_match (3)

Term rewriter functions used in the PSF-Toolkit

term_match_sub (3)

Term rewriter functions used in the PSF-Toolkit

term_reduce (3)

Term rewriter functions used in the PSF-Toolkit

trs (3)

Term rewriter functions used in the PSF-Toolkit

writetil (3)

Writes a TIL data structure as TIL-code to stdout

yyparse (3)

Routines for parsing PSF-terms

Section 5

iwtable.bnf (5)

Backus Naur Form description of an interworking translation table

psf.style (5)

Suggested layout for PSF specifications

psftoolkit (5)

Introduction to the PSF-Toolkit

til.bnf (5)

Backus Naur Form description of TIL

trace_format (5)

Format of trace-output of sim on stdout