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