Informatica logo


Login Register

  1. Home
  2. Issues
  3. Volume 1, Issue 1 (1990)
  4. Correctness analysis and simulation of c ...

Informatica

Information Submit your article For Referees Help ATTENTION!
  • Article info
  • Related articles
  • More
    Article info Related articles

Correctness analysis and simulation of computer network protocols by aggregate approach
Volume 1, Issue 1 (1990), pp. 107–124
Henrikas Pranevitchius  

Authors

 
Placeholder
https://doi.org/10.3233/INF-1990-1107
Pub. online: 1 January 1990      Type: Research Article     

Published
1 January 1990

Abstract

The aggregate approach to the formal description, verification and simulation of computer network protocols is considered in the paper. With this approach, the offered design stages can be performed using a single mathematical scheme. The reachability analysis method and the program proof technique are viewed as methods for correctness analysis. The proposed approach for correctness analysis and model construction was used in creating the protocol analysis system PRANAS.

Related articles PDF XML
Related articles PDF XML

Copyright
No copyright data available.

Keywords
protocol correctness analysis simulation aggregate approach

Metrics (since January 2020)
9

Article info
views

0

Full article
views

308

PDF
downloads

128

XML
downloads

Export citation

Copy and paste formatted citation
Placeholder

Download citation in file


Share


RSS

INFORMATICA

  • Online ISSN: 1822-8844
  • Print ISSN: 0868-4952
  • Copyright © 2023 Vilnius University

About

  • About journal

For contributors

  • OA Policy
  • Submit your article
  • Instructions for Referees
    •  

    •  

Contact us

  • Institute of Data Science and Digital Technologies
  • Vilnius University

    Akademijos St. 4

    08412 Vilnius, Lithuania

    Phone: (+370 5) 2109 338

    E-mail: informatica@mii.vu.lt

    https://informatica.vu.lt/journal/INFORMATICA
Powered by PubliMill  •  Privacy policy