Continuous Behaviour in Event-B: A Sketch
Including provision for continuously varying behaviour as well as discrete state change is considered for Event-B. An extension of Event-B is sketched that accommodates continuous events (called pliant events) in between familiar discrete events (called mode events).
KeywordsMode Event Mode Transition Proof Obligation Continuous Behaviour Clock Variable
Unable to display preview. Download preview PDF.