> Details

Anureev, I. S.

Deductive Verification of Telecommunication Systems Written in C

Reference
management

Bookmarks

Remove from
bookmarks

Share this on Whatsapp

Close

Bookmarks



You can manage bookmarks using lists, please log in to your user account for this.
  • Media type: E-Article
  • Title: Deductive Verification of Telecommunication Systems Written in C
  • Contributor: Anureev, I. S.
  • Published: P.G. Demidov Yaroslavl State University, 2015
  • Published in: Modeling and Analysis of Information Systems, 19 (2015) 6, Seite 34-44
  • Language: Not determined
  • DOI: 10.18255/1818-1015-2012-6-34-44
  • ISSN: 2313-5417; 1818-1015
  • Keywords: General Medicine
  • Origination:
  • Footnote:
  • 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.
  • Access State: Open Access