A Dynamic Logic for Verification of Synchronous Models based on Theorem Proving

Yuanrui Zhang

Synchronous model is a type of formal models for modelling and specifying reactive systems. It has a great advantage over other real-time models that its modelling paradigm support…