Browsing Technical Reports (Computer Science) by Author "Timm, Nils"

Browsing Technical Reports (Computer Science) by Author "Timm, Nils"

Sort by: Order: Results:

  • Timm, Nils; Gruner, Stefan (University of Pretoria, 2015-10-07)
    In this Technical Report we prove Theorem 1 and Theorem 2 with reference to the article "Parameterised Three-Valued Model Checking" which is to appear in the journal "Science of Computer Programming". This Technical Report ...
  • 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 ...