Parameterised three-valued model checking

Show simple item record Timm, Nils Gruner, Stefan 2015-10-07T06:23:47Z 2015-10-07T06:23:47Z 2015-10 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.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

Files in this item

This item appears in the following Collection(s)

Show simple item record