Parameterised three-valued model checking
Loading...
Date
Authors
Timm, Nils
Gruner, Stefan
Journal Title
Journal ISSN
Volume Title
Publisher
University of Pretoria
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.
Description
Keywords
Theoretical computer science, Model checking, Formal methods