Huhn, Michaela, Hungar, Hardi, Peled, Doron A.
From June 10th to June 15th 2007, the Dagstuhl Seminar 07241 ``Tools for the Model-based Development of Certifiable, Dependable Systems'' was held in the International Conference and Research Center...
07241 Summary -- Tools for the Model-based Development of Certifiable, Dependable Systems (2008)
Huhn, Michaela, Hungar, Hardi, Peled, Doron A.
This paper summarizes the objectives and structure of a seminar with the same title, held from June 10th to June 15th, 2007 at Schloss Dagstuhl, Germany.
Damm, Werner, Pinto, Guilherme, Ratschan, Stefan, Peled, Doron A, Tsay, Yih-Kuen
We present a novel approach to the automatic verification and falsification of LTL requirements of non-linear discrete-time hybrid systems. The verification tool uses an interval-based constraint...
Compositional message sequence charts (2001)
Elsa L. Gunter, Anca Muscholl, Doron A. Peled
Abstract. Message sequence charts (MSCs) is a standard notation for describing the interaction between communicating objects. It is popular among the designers of communication protocols. MSCs enjoy...
Compositional message sequence charts (2001)
Elsa L. Gunter, Anca Muscholl, Doron A. Peled
Abstract. Message sequence charts (MSCs) is a standard notation for describing the interaction between communicating objects. It is popular among the designers of communication protocols. MSCs enjoy...
Using Functional Languages in Formal Methods: The Pet System (2000)
Elsa L. Gunter, Doron A. Peled
1 Introduction Formal methods are a collection of techniques aimed at increasing the reliability of software and hardware systems. Since the systems under investigation are often quite complex, the...
Design Tools for Requirements Engineering (1997)
Gerard J. Holzmann, Doron A. Peled, Margaret H. Redberg
this paper describes three tools that address the need for tool support by systems engineers. These tools---MSC (message sequence charts), POGA (pictures of graph algorithms), and TEMPLE (template...