Please be advised that the site will be down for maintenance on Sunday, September 1, 2024, from 08:00 to 18:00, and again on Monday, September 2, 2024, from 08:00 to 09:00. We apologize for any inconvenience this may cause.
Browsing Technical Reports (Computer Science) by UP Author "Gruner, Stefan"
-
Timm, Nils; Gruner, Stefan
(Department of Computer Science: University of Pretoria, 2018-08-01)
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 ...