Deductive Verification of Telecommunication Systems Written in C
A deductive approach to verification of telecommunication systems written in C is proposed. The approach is based on the extension of C by declarative statements and on reduction of verification of parallel communicating components of these systems to separate verification of components written in t...
Gespeichert in:
Veröffentlicht in: | Modelirovanie i analiz informacionnyh sistem 2015-03, Vol.19 (6), p.34-44 |
---|---|
1. Verfasser: | |
Format: | Artikel |
Sprache: | eng |
Schlagworte: | |
Online-Zugang: | Volltext |
Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Zusammenfassung: | A deductive approach to verification of telecommunication systems written in C is proposed. The approach is based on the extension of C by declarative statements and on reduction of verification of parallel communicating components of these systems to separate verification of components written in this extension. An example of verification of a data link protocol is considered. |
---|---|
ISSN: | 1818-1015 2313-5417 |
DOI: | 10.18255/1818-1015-2012-6-34-44 |