JavaScript is disabled for your browser. Some features of this site may not work without it.
Please note that UPSpace will be unavailable from Friday, 2 May at 18:00 (South African Time) until Sunday, 4 May at 20:00 due to scheduled system upgrades. We apologise for any inconvenience this may cause and appreciate your understanding.
| 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 |
