New possibilities in automatic verification of network protocols
- Project Identification
- Project Period
- 1/2008 - 12/2010
- Investor / Pogramme / Project type
- Czech Science Foundation
- MU Faculty or unit
- Faculty of Informatics
- 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.
Total number of publications: 9