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

Please be advised that the site will be down for maintenance on Sunday, September 1, 2024, from 08:00 to 18:00, and again on Monday, September 2, 2024, from 08:00 to 09:00. We apologize for any inconvenience this may cause.

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