equal
deleted
inserted
replaced
34 verification conditions with the Owicki-Gries method we define a |
34 verification conditions with the Owicki-Gries method we define a |
35 tactic based on the proof rules. The most involved examples are the |
35 tactic based on the proof rules. The most involved examples are the |
36 verification of two garbage-collection algorithms, the second one |
36 verification of two garbage-collection algorithms, the second one |
37 parameterized in the number of mutators. |
37 parameterized in the number of mutators. |
38 |
38 |
|
39 For excellent descriptions of this work see |
|
40 \cite{NipkowP-FASE99,PrenEsp00,Prensa-PhD,Prensa-ESOP03}. |
|
41 |
39 \end{abstract} |
42 \end{abstract} |
40 |
43 |
41 \pagestyle{plain} |
44 \pagestyle{plain} |
42 \thispagestyle{empty} |
45 \thispagestyle{empty} |
43 \tableofcontents |
46 \tableofcontents |
51 \newpage |
54 \newpage |
52 |
55 |
53 \parindent 0pt\parskip 0.5ex |
56 \parindent 0pt\parskip 0.5ex |
54 \input{session} |
57 \input{session} |
55 |
58 |
56 %\bibliographystyle{plain} |
59 \bibliographystyle{plain} |
57 %\bibliography{root} |
60 \bibliography{root} |
58 |
61 |
59 \end{document} |
62 \end{document} |