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