Titlebook: Design and Analysis of Distributed Embedded Systems; IFIP 17th World Comp Bernd Kleinjohann,K. H. Kim,Achim Rettberg Book 2002 IFIP Interna

咆哮

咆哮

Model checking robustness to desynchronization, we consider a canonical representation of synchronous processes that makes control explicit. We show that the satisfaction of the property of determinism and of robustness to desynchronization amounts to a satisfaction problem which consists of hierarchically checking boolean formula.

Entirety