Performance analysis and functional verification of the stop-and-wait protocol in HOL
type: Item
instance of: scholarly article
title: Performance analysis and functional verification of the stop-and-wait protocol in HOL
zbMATH Open document ID: 1191.68101
author: Osman Hasan
author: Sofiène Tahar
published in: Journal of Automated Reasoning
publication date: 2009-11-25T00:00:00Z
full work available at URL: performance analysis and functional verification.pdf
Mathematics Subject Classification ID: 68M20
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68T15
zbMATH DE Number: 5638515
zbMATH Keywords: communication protocols
zbMATH Keywords: higher-order-logic
zbMATH Keywords: HOL theorem prover
zbMATH Keywords: probability theory
zbMATH Keywords: real-time systems
describes a project that uses: Rabbit
describes a project that uses: Uppaal
describes a project that uses: PRISM
MaRDI profile type: Publication
OpenAlex ID: W2136755926
cites work: Q3369934
cites work: Q4119944
cites work: Probabilistic model checking of the CSMA/CD protocol using PRISM and APMC
cites work: Model Checking Software
cites work: Q4231030
cites work: Formalization of Continuous Probability Distributions
cites work: Verification of Expectation Properties for Discrete Random Variables in HOL
cites work: Verification of Tail Distribution Bounds in a Theorem Prover
cites work: Q4484343
cites work: Stochastic Model Checking
cites work: Automatic verification of real-time systems with discrete probability distributions.
cites work: Isabelle. A generic theorem prover
cites work: Q4319638
DOI: 10.1007/S10817-008-9105-6
description: scientific article; zbMATH DE number 5638515