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

We are excited to announce that the repository will soon undergo an upgrade, featuring a new look and feel along with several enhanced features to improve your experience. Please be on the lookout for further updates and announcements regarding the launch date. We appreciate your support and look forward to unveiling the improved platform soon.

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

Sort by: Order: Results:

  • Parameterised three-valued model checking 
    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 ...
  • Three-Valued Bounded Model Checking with Cause-Guided Abstraction Refinement: PROOFS 
    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 ...