Abstract:
In this Technical Report we prove Theorem 1 and Theorem 2 with reference to the article "Parameterised Three-Valued Model Checking" which is to appear in the journal "Science of Computer Programming". This Technical Report should thus be read as an APPENDIX to the forthcoming journal article, which will then contain a reference back to this Technical Report. The mathematical proofs shown in this Technical Report will not appear in the forthcoming journal article, due to size/length restrictions.
