AUTOMATIC ANALYSIS AND VERIFICATION OF MSC-SPECIFIED TELECOMMUNICATION SYSTEM

Lyudmila Matvyeyeva, Sergiy Kryvyy, Mariya Lopatina

2004

Abstract

Last 20 years formal methods are being used widely to specify formally, analyze, verify and test software and hardware systems, particularly, telecommunication protocols. The paper presents automated verification system based on Petri nets formal modelling technique and linear algebra methods for automatic proving structural and some dynamic properties. Application of the system is considered on the telecom example.

Paper Citation

in Harvard Style

Matvyeyeva L., Kryvyy S. and Lopatina M. (2004). AUTOMATIC ANALYSIS AND VERIFICATION OF MSC-SPECIFIED TELECOMMUNICATION SYSTEM . In Proceedings of the First International Conference on Informatics in Control, Automation and Robotics - Volume 2: ICINCO, ISBN 972-8865-12-0, pages 402-405. DOI: 10.5220/0001138804020405

in Bibtex Style

@conference{icinco04,
author={Lyudmila Matvyeyeva and Sergiy Kryvyy and Mariya Lopatina},
title={AUTOMATIC ANALYSIS AND VERIFICATION OF MSC-SPECIFIED TELECOMMUNICATION SYSTEM},
booktitle={Proceedings of the First International Conference on Informatics in Control, Automation and Robotics - Volume 2: ICINCO,},
year={2004},
pages={402-405},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001138804020405},
isbn={972-8865-12-0},
}

in EndNote Style

TY - CONF
JO - Proceedings of the First International Conference on Informatics in Control, Automation and Robotics - Volume 2: ICINCO,
TI - AUTOMATIC ANALYSIS AND VERIFICATION OF MSC-SPECIFIED TELECOMMUNICATION SYSTEM
SN - 972-8865-12-0
AU - Matvyeyeva L.
AU - Kryvyy S.
AU - Lopatina M.
PY - 2004
SP - 402
EP - 405
DO - 10.5220/0001138804020405