Formal Modeling of Generalized Sliding Window Protocol in Promela Using Spin Root Model-Checker

International Journal of Computer Applications
doi 10.5120/ijca2018917044
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Foundation of Computer Science

Related search

The Sliding-Window Protocol Revisited

Formal Aspects of Computing
Theoretical Computer ScienceSoftware
1995English

Verifying a Sliding Window Protocol in μCRL

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Formal Verification of a Group Membership Protocol Using Model Checking

English

Detection of Biomedical Signals Disruption Using a Sliding Window

Scientific journal of the Ternopil national technical university
2018English

Redesign of the LMST Wireless Sensor Protocol Through Formal Modeling and Statistical Model Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2008English

V-Promela: A Visual, Object-Oriented Language for SPIN

English

Verifying Networked Programs Using a Model Checker Extension

2009English

Resource Sharing in Continuous Sliding-Window Aggregates

2004English

The JKind Model Checker

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy