Parameterised three-valued model checking

dc.contributor.author	Timm, Nils
dc.contributor.author	Gruner, Stefan
dc.date.accessioned	2015-10-07T06:23:47Z
dc.date.available	2015-10-07T06:23:47Z
dc.date.created	2015-10
dc.date.issued	2015-10-07
dc.description.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.	en_ZA
dc.description.sponsorship	NRF: the National Research Foundation of the Republic of South Africa	en_ZA
dc.format.extent	15 pages (including the front page)	en_ZA
dc.identifier.uri	http://hdl.handle.net/2263/50167
dc.language.iso	en	en_ZA
dc.publisher	University of Pretoria
dc.rights	© Authors, and the University of Pretoria	en_ZA
dc.subject	Theoretical computer science	en_ZA
dc.subject	Model checking	en_ZA
dc.subject	Formal methods	en_ZA
dc.title	Parameterised three-valued model checking	en_ZA
dc.type	Technical Report	en_ZA