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

dc.contributorntimm@cs.up.ac.zaen_ZA
dc.contributor.upauthorTimm, Nils
dc.contributor.upauthorGruner, Stefan
dc.date.accessioned2018-08-08T09:32:22Z
dc.date.available2018-08-08T09:32:22Z
dc.date.created2018-08-01
dc.date.issued2018-08-01
dc.description.abstractIn 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.citationNils 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.urihttp://hdl.handle.net/2263/66136
dc.language.isoenen_ZA
dc.publisherDepartment of Computer Science: University of Pretoriaen_ZA
dc.relation.ispartofseriesTR-SSFM-01-08-2018en_ZA
dc.rightsCopyright: the authors.en_ZA
dc.subjectModel Checking, Bounded Model Checking, Theorem, Proofen_ZA
dc.titleThree-Valued Bounded Model Checking with Cause-Guided Abstraction Refinement: PROOFSen_ZA
dc.typeTechnical Reporten_ZA

Files

Original bundle

Now showing 1 - 1 of 1
Thumbnail Image
Name:
TR-SSFM-01-08-2018.pdf
Size:
1.18 MB
Format:
Adobe Portable Document Format
Description:
Proof of Theorem 1: Technical Report TR-SSFM-01-08-2018.
Download

License bundle

Now showing 1 - 1 of 1
Thumbnail Image
Name:
license.txt
Size:
1.75 KB
Format:
Item-specific license agreed upon to submission
Description:
Download

Collections

Technical Reports (Computer Science)
Simple item page