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...
Saved in:
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Yaroslavl State University
2015-03-01
|
| Series: | Моделирование и анализ информационных систем |
| Subjects: | |
| Online Access: | https://www.mais-journal.ru/jour/article/view/137 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1849338789482201088 |
|---|---|
| author | I. S. Anureev |
| author_facet | I. S. Anureev |
| author_sort | I. S. Anureev |
| collection | DOAJ |
| description | 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. |
| format | Article |
| id | doaj-art-919a428bcad9458bb8884c55cbafb345 |
| institution | Kabale University |
| issn | 1818-1015 2313-5417 |
| language | English |
| publishDate | 2015-03-01 |
| publisher | Yaroslavl State University |
| record_format | Article |
| series | Моделирование и анализ информационных систем |
| spelling | doaj-art-919a428bcad9458bb8884c55cbafb3452025-08-20T03:44:18ZengYaroslavl State UniversityМоделирование и анализ информационных систем1818-10152313-54172015-03-01196344410.18255/1818-1015-2012-6-34-44131Deductive Verification of Telecommunication Systems Written in CI. S. Anureev0Институт систем информатики имени А.П. Ершова СО РАН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.https://www.mais-journal.ru/jour/article/view/137verificationspecificationoperational semanticsaxiomatic semanticstransformational semanticstelecommunication systemstelecommunication protocols |
| spellingShingle | I. S. Anureev Deductive Verification of Telecommunication Systems Written in C Моделирование и анализ информационных систем verification specification operational semantics axiomatic semantics transformational semantics telecommunication systems telecommunication protocols |
| title | Deductive Verification of Telecommunication Systems Written in C |
| title_full | Deductive Verification of Telecommunication Systems Written in C |
| title_fullStr | Deductive Verification of Telecommunication Systems Written in C |
| title_full_unstemmed | Deductive Verification of Telecommunication Systems Written in C |
| title_short | Deductive Verification of Telecommunication Systems Written in C |
| title_sort | deductive verification of telecommunication systems written in c |
| topic | verification specification operational semantics axiomatic semantics transformational semantics telecommunication systems telecommunication protocols |
| url | https://www.mais-journal.ru/jour/article/view/137 |
| work_keys_str_mv | AT isanureev deductiveverificationoftelecommunicationsystemswritteninc |