Deductive Verification of Telecommunication Systems Written in C

Deductive Verification of Telecommunication Systems Written in C

Show other versions (1)

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...

Full description

Bibliographic Details
Main Author: I. S. Anureev
Format: Article
Language:English
Published: Yaroslavl State University 2015-03-01
Series:Modelirovanie i Analiz Informacionnyh Sistem
Subjects:
verification
specification
operational semantics
axiomatic semantics
transformational semantics
telecommunication systems
telecommunication protocols
Online Access:https://www.mais-journal.ru/jour/article/view/137
Description
Summary: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

Similar Items