Static Analysis by Abstract Interpretation of the Quasi Synchronous Composition of

Static Analysis by Abstract Interpretation of the Quasi-Synchronous Composition of Synchronous Programs Julien Bertrane, Ecole Normale Superieure, Paris, France VMCAI'05, 17 Janvier 2005 1

• quasi-synchronous composition


• normale superieure


• synchronous programs


• clock


• allowing clock


• duration between


• modeling synchronous


• clock skew