热门

最新

红包

立Flag

投票

同城

发布
qq_45540735
夏尔Gaesar
4 年前
trueqq_45540735

Given (i) the initial and the final configurations; and (ii)
hard and soft specifications (expressed as a linear temporal logic
(LTL) formula and as an objective function, respectively), Snowcap
automatically generates an ordering of the reconfiguration com-
mands which satisfies the hard specifications, while optimizing for
the soft ones.
评论
1
打赏
  • 复制链接
  • 举报
下一条：
Snowcap. We answer positively and present Snowcap, a recon-figuration framework which can synthesize and deploy safe config-uration updates, for arbitrary protocols and arbitrary correctnessproperties.