Parameterised three-valued model checking
| dc.contributor.author | Timm, Nils | |
| dc.contributor.author | Gruner, Stefan | |
| dc.contributor.email | sgruner@cs.up.ac.za | en_ZA |
| 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 |