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 ...