Abstract. We describe an approach for the verification of quantitative temporal properties of SDL specifications, which adapts techniques developed for timed automata [2]. With res...
In this paper we propose some extensions necessary to enable the speci cation and description language SDL to become an appropriate formalism for the design of real-time and embedd...
Marius Bozga, Susanne Graf, Laurent Mounier, Iulia...
Abstract. We present a graphical MSC-based representation of the language DiCons, which is a formal language for the description of Internet applications.
Jos C. M. Baeten, Harm M. A. van Beek, Sjouke Mauw