This is TeX, Version 3.14159 (Web2C 7.3.1) (format=latex 1999.7.23)  25 APR 2003 13:41
**Modelchecking.tex
(Modelchecking.tex
LaTeX2e <1998/12/01> patch level 1
Babel <v3.6x> and hyphenation patterns for american, french, german, ngerman, n
ohyphenation, loaded.
(/usr/share/texmf/tex/latex/base/article.cls
Document Class: article 1999/01/07 v1.4a Standard LaTeX document class
(/usr/share/texmf/tex/latex/base/size12.clo
File: size12.clo 1999/01/07 v1.4a Standard LaTeX file (size option)
)
\c@part=\count79
\c@section=\count80
\c@subsection=\count81
\c@subsubsection=\count82
\c@paragraph=\count83
\c@subparagraph=\count84
\c@figure=\count85
\c@table=\count86
\abovecaptionskip=\skip41
\belowcaptionskip=\skip42
\bibindent=\dimen102
)
(/usr/share/texmf/tex/latex/amslatex/amsmath.sty
Package: amsmath 1996/11/01 v1.2c AMS math features
\@mathmargin=\skip43

(/usr/share/texmf/tex/latex/amslatex/amstext.sty
Package: amstext 1996/10/28 v1.2b

(/usr/share/texmf/tex/latex/amslatex/amsgen.sty
File: amsgen 1996/10/29 v1.2b
\@emptytoks=\toks14
\ex@=\dimen103
))
(/usr/share/texmf/tex/latex/amslatex/amsbsy.sty
Package: amsbsy 1996/10/28 v1.2b
\pmbraise@=\dimen104
)
(/usr/share/texmf/tex/latex/amslatex/amsopn.sty
Package: amsopn 1996/10/28 v1.2b operator names
)
LaTeX Info: Redefining \frac on input line 188.
\uproot@=\count87
\leftroot@=\count88
\classnum@=\count89
\DOTSCASE@=\count90
LaTeX Info: Redefining \dots on input line 335.
LaTeX Info: Redefining \ldots on input line 418.
LaTeX Info: Redefining \cdots on input line 422.
\Mathstrutbox@=\box26
\strutbox@=\box27
\big@size=\dimen105
LaTeX Font Info:    Redeclaring font encoding OML on input line 500.
LaTeX Font Info:    Redeclaring font encoding OMS on input line 501.
\skewcharcount@=\count91
\familycount@=\count92
\pointcount@=\count93
\accentdimen@=\dimen106
\accentmu@=\count94
\minaw@=\dimen107
\c@MaxMatrixCols=\count95
\dotsspace@=\muskip10
\c@parentequation=\count96
\dspbrk@lvl=\count97
\tag@help=\toks15
\row@=\count98
\column@=\count99
\maxfields@=\count100
\andhelp@=\toks16
\eqnshift@=\dimen108
\alignsep@=\dimen109
\tagshift@=\dimen110
\tagwidth@=\dimen111
\totwidth@=\dimen112
\lineht@=\dimen113
\@envbody=\toks17
\multlinegap=\skip44
\multlinetaggap=\skip45
)
(/usr/share/texmf/tex/latex/amsfonts/amssymb.sty
Package: amssymb 1996/11/03 v2.2b

(/usr/share/texmf/tex/latex/amsfonts/amsfonts.sty
Package: amsfonts 1996/11/03 v2.2c
\symAMSa=\mathgroup4
\symAMSb=\mathgroup5
LaTeX Font Info:    Overwriting math alphabet `\mathfrak' in version `bold'
(Font)                  U/euf/m/n --> U/euf/b/n on input line 129.
))
(/usr/share/texmf/tex/generic/babel/babel.sty
Package: babel 1999/05/05 v3.6x The Babel package

(/usr/share/texmf/tex/generic/babel/germanb.ldf
Language: germanb 1999/04/05 v2.6g German support from the babel system

(/usr/share/texmf/tex/generic/babel/babel.def
File: babel.def 1999/05/05 v3.6x Babel common definitions
\babel@savecnt=\count101
\U@D=\dimen114
)
\l@austrian = a dialect from \language\l@german 
Package babel Info: Making " an active character on input line 71.
))
(/usr/share/texmf/tex/latex/graphics/graphs.sty
Package: graphs 1996/10/18


LaTeX2e package `graphs', version 1.52
Frank Drewes, University of Bremen, 18.10.1996

(/usr/share/texmf/tex/latex/graphics/graphs_ps.tex)
(/usr/share/texmf/tex/latex/graphics/graphs_config.tex)
\g@oldunitlength=\dimen115
\g@xpos=\count102
\g@ypos=\count103
\g@x=\dimen116
\g@y=\dimen117
\g@aux=\dimen118
\g@heightplusdepth=\dimen119
\g@width=\dimen120
\g@xsizeA=\count104
\g@xsizeB=\count105
\g@ysizeA=\count106
\g@ysizeB=\count107
\g@help=\count108
\g@helpB=\dimen121
\g@xunitlength=\dimen122
\g@yunitlength=\dimen123
)
(/usr/share/texmf/tex/latex/ntgclass/a4.sty
Package: a4 1999/03/03 v1.2f A4 based page layout
) (Modelchecking.aux)
\openout1 = `Modelchecking.aux'.

LaTeX Font Info:    Checking defaults for OML/cmm/m/it on input line 10.
LaTeX Font Info:    ... okay on input line 10.
LaTeX Font Info:    Checking defaults for T1/cmr/m/n on input line 10.
LaTeX Font Info:    ... okay on input line 10.
LaTeX Font Info:    Checking defaults for OT1/cmr/m/n on input line 10.
LaTeX Font Info:    ... okay on input line 10.
LaTeX Font Info:    Checking defaults for OMS/cmsy/m/n on input line 10.
LaTeX Font Info:    ... okay on input line 10.
LaTeX Font Info:    Checking defaults for OMX/cmex/m/n on input line 10.
LaTeX Font Info:    ... okay on input line 10.
LaTeX Font Info:    Checking defaults for U/cmr/m/n on input line 10.
LaTeX Font Info:    ... okay on input line 10.
LaTeX Font Info:    Try loading font information for U+msa on input line 70.

(/usr/share/texmf/tex/latex/amsfonts/umsa.fd
File: Umsa.fd 1995/01/05 v2.2e AMS font definitions
)
LaTeX Font Info:    Try loading font information for U+msb on input line 70.

(/usr/share/texmf/tex/latex/amsfonts/umsb.fd
File: Umsb.fd 1995/01/05 v2.2e AMS font definitions
) [1

]
Overfull \hbox (7.19128pt too wide) in paragraph at lines 146--151
[]\OT1/cmr/m/n/12 Der Zu-stands-graph spe-zi-fi-ziert die bei der mo-del-lier-t
en Hei-zung \OT1/cmr/m/it/12 zul[]assi-gen \OT1/cmr/m/n/12 Abl[]aufe,
 []

[2] [3] [4] (Modelchecking.aux) ) 
Here is how much of TeX's memory you used:
 1621 strings out of 25901
 17299 string characters out of 197575
 71443 words of memory out of 384000
 4560 multiletter control sequences out of 10000+15000
 12598 words of font info for 48 fonts, out of 400000 for 1000
 14 hyphenation exceptions out of 1000
 28i,12n,26p,235b,391s stack positions out of 300i,100n,500p,50000b,4000s

Output written on Modelchecking.dvi (4 pages, 16216 bytes).