Project information

New possibilities in automatic verification of network protocols

Investor logo
Project Identification
GP201/08/P459
Project Period
1/2008 - 12/2010
Investor / Pogramme / Project type
Czech Science Foundation
MU Faculty or unit
Faculty of Informatics
Keywords
model checking, synthesize, verification, formal models

The aim of the project is to study formalisms for network comunication system specification at a very early stage of design. Variety of studies has been done on Message Sequence Charts (MSC) formalism in this research area. Eventhough MSC is formaly specified in ITU Recomendation Z.120, most of the theoretical results deals with some subsets of this formalism only. On the other hand, there are many undecidability results related to the MSC in its full expressivity.
Our aim is to find a subset of MSC such that it can express important design features and, at the same time, it preserves decidability of significant verification questions.

Results

Publications

Total number of publications: 9


You are running an old browser version. We recommend updating your browser to its latest version.

More info