Deductive verification of telecommunication systems written in C

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

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Automatic control and computer sciences 2013-12, Vol.47 (7), p.413-419
1. Verfasser: Anureev, I. S.
Format: Artikel
Sprache:eng
Schlagworte:
Computer Science
Control Structures and Microprogramming
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
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:0146-4116
1558-108X
DOI:10.3103/S0146411613070183