Geodesic
Deductive Verification of Telecommunication Systems Written~in~C
Modelirovanie i analiz informacionnyh sistem, Tome 19 (2012) no. 6, pp. 34-44

Voir la notice de l'article provenant de la source Math-Net.Ru

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.
Keywords: verification, specification, operational semantics, axiomatic semantics, transformational semantics, telecommunication systems
Mots-clés : telecommunication protocols. 
@article{MAIS_2012_19_6_a2,
     author = {I. S. Anureev},
     title = {Deductive {Verification} of {Telecommunication} {Systems} {Written~in~C}},
     journal = {Modelirovanie i analiz informacionnyh sistem},
     pages = {34--44},
     publisher = {mathdoc},
     volume = {19},
     number = {6},
     year = {2012},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/MAIS_2012_19_6_a2/}
}
TY  - JOUR
AU  - I. S. Anureev
TI  - Deductive Verification of Telecommunication Systems Written~in~C
JO  - Modelirovanie i analiz informacionnyh sistem
PY  - 2012
SP  - 34
EP  - 44
VL  - 19
IS  - 6
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MAIS_2012_19_6_a2/
LA  - ru
ID  - MAIS_2012_19_6_a2
ER  - 
%0 Journal Article
%A I. S. Anureev
%T Deductive Verification of Telecommunication Systems Written~in~C
%J Modelirovanie i analiz informacionnyh sistem
%D 2012
%P 34-44
%V 19
%N 6
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MAIS_2012_19_6_a2/
%G ru
%F MAIS_2012_19_6_a2
I. S. Anureev. Deductive Verification of Telecommunication Systems Written~in~C. Modelirovanie i analiz informacionnyh sistem, Tome 19 (2012) no. 6, pp. 34-44. http://geodesic.mathdoc.fr/item/MAIS_2012_19_6_a2/