Three-Valued Bounded Model Checking with Cause-Guided Abstraction Refinement: PROOFS

dc.contributor	ntimm@cs.up.ac.za	en_ZA
dc.contributor.upauthor	Timm, Nils
dc.contributor.upauthor	Gruner, Stefan
dc.date.accessioned	2018-08-08T09:32:22Z
dc.date.available	2018-08-08T09:32:22Z
dc.date.created	2018-08-01
dc.date.issued	2018-08-01
dc.description.abstract	In this Technical Report we provide the proof to Theorem 1 which appears in our forthcoming article "Three-Valued Bounded Model Checking with Cause-Guided Abstraction Refinement", to appear in the journal: Science of Computer Programming. Due to shortage of page-space the proof cannot be printed in the journal article itself. In the forthcoming journal article, wherein Theorem 1 will appear, a literature reference will point the readers to this Technical Report for the proof.	en_ZA
dc.identifier.citation	Nils Timm and Stefan Gruner, Three-Valued Bounded Model Checking with Cause-Guided Abstraction Refinement: PROOFS. Technical Report TR-SSFM-01-08-2018, Research Group for System Specifications and Formal Methods, Department of Computer Science, University of Pretoria, 2018.	en_ZA
dc.identifier.uri	http://hdl.handle.net/2263/66136
dc.language.iso	en	en_ZA
dc.publisher	Department of Computer Science: University of Pretoria	en_ZA
dc.relation.ispartofseries	TR-SSFM-01-08-2018	en_ZA
dc.rights	Copyright: the authors.	en_ZA
dc.subject	Model Checking, Bounded Model Checking, Theorem, Proof	en_ZA
dc.title	Three-Valued Bounded Model Checking with Cause-Guided Abstraction Refinement: PROOFS	en_ZA
dc.type	Technical Report	en_ZA