Haku
Viitteet 1-1 / 1
Scheduling of guarded command based models
(Turku Centre for Computer Science (TUCS), 2012-12-10)
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 ...