Browsing Technical Reports (Computer Science) by Subject "Model checking"

Please note that UPSpace will be unavailable from Friday, 2 May at 18:00 (South African Time) until Sunday, 4 May at 20:00 due to scheduled system upgrades. We apologise for any inconvenience this may cause and appreciate your understanding.

Browsing Technical Reports (Computer Science) by Subject "Model checking"

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