Browsing Technical Reports (Computer Science) by Subject "Formal methods"

Browsing Technical Reports (Computer Science) by Subject "Formal methods"

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