Selaus tekijän mukaan kokoelmassa 113 Tietojenkäsittely ja informaatiotieteet

    • Scheduling of guarded command based models 

      Degerlund, Fredrik
      TUCS Dissertations : 152 (Turku Centre for Computer Science (TUCS), 10.12.2012)
      Formal methods provide a means of reasoning about computer programs in order to prove correctness criteria. One subtype of formal methods is based on the weakest precondition predicate transformer semantics and uses guarded ...