2011
DOI: 10.1002/dac.1317
|View full text |Cite
|
Sign up to set email alerts
|

Toward efficient protocol design through protocol profiling and performance assessment: using formal verification in a different context

Abstract: SUMMARY The most common use of formal verification methods so far has been in identifying whether livelock and/or deadlock situations can occur during protocol execution, process, or system operation. In this work, we aim to show that an additional equally important and useful application of formal verification methods can be in protocol design in terms of performance‐related metrics. This can be achieved by using the methods in a rather different context compared with their traditional use, that is, not only … Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...

Citation Types

0
0
0

Year Published

2014
2014
2014
2014

Publication Types

Select...
1

Relationship

0
1

Authors

Journals

citations
Cited by 1 publication
references
References 29 publications
(51 reference statements)
0
0
0
Order By: Relevance