Deductive Verification of Telecommunication Systems Written in C
I. S. Anureev
A. P. Ershov Institute of Informatics Systems Sib. Br. RAS
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.
verification, specification, operational semantics, axiomatic semantics, transformational semantics, telecommunication systems, telecommunication protocols.
PDF file (327 kB)
I. S. Anureev, “Deductive Verification of Telecommunication Systems Written in C”, Model. Anal. Inform. Sist., 19:6 (2012), 34–44
Citation in format AMSBIB
\paper Deductive Verification of Telecommunication Systems Written~in~C
\jour Model. Anal. Inform. Sist.
Citing articles on Google Scholar:
Related articles on Google Scholar:
|Number of views:|