Sciweavers

Share
ICTAC
2004
Springer

Duration Calculus: A Real-Time Semantic for B

10 years 1 months ago
Duration Calculus: A Real-Time Semantic for B
Among the possible approaches for expressing real-time problems with the B method, two are dominant : the use of the usual B mechanisms to define temporal constraints on the one hand, and extending B through another formalism more adapted to the real-time context on the other hand. We define here a possible temporal semantic for B, by using a temporal logic (the duration calculus), and we te how this extension affects the proof mechanism used to show the soundness of abstract machines.
Samuel Colin, Georges Mariano, Vincent Poirriez
Added 01 Jul 2010
Updated 01 Jul 2010
Type Conference
Year 2004
Where ICTAC
Authors Samuel Colin, Georges Mariano, Vincent Poirriez
Comments (0)
books