Specification of synchronous network flooding in temporal logic
Joint Authors
Hussak, Walter
al-Shurman, Rafat
Bani Abd al-Rahman, Raid
Trehan, Amitabh
Source
The International Arab Journal of Information Technology
Issue
Vol. 17, Issue 6 (30 Nov. 2020), pp.867-874, 8 p.
Publisher
Zarqa University Deanship of Scientific Research
Publication Date
2020-11-30
Country of Publication
Jordan
No. of Pages
8
Main Subjects
Information Technology and Computer Science
Abstract EN
In distributed network algorithms, network flooding is considered one of the simplest and most fundamental algorithms.
This research specifies the basic synchronous memory-less network flooding algorithm where nodes on the network don’t have memory, for any fixed size of network, in Linear Temporal Logic.
The specification can be customized to any single network topology or class of topologies.
A specification of the termination problem is formulated and used to compare different topologies for earlier termination.
This paper gives a worked example of one topology resulting in earlier termination than another, for which we perform a formal verification using the model checker NuSMV.
American Psychological Association (APA)
Bani Abd al-Rahman, Raid& al-Shurman, Rafat& Hussak, Walter& Trehan, Amitabh. 2020. Specification of synchronous network flooding in temporal logic. The International Arab Journal of Information Technology،Vol. 17, no. 6, pp.867-874.
https://search.emarefa.net/detail/BIM-1432411
Modern Language Association (MLA)
Bani Abd al-Rahman, Raid…[et al.]. Specification of synchronous network flooding in temporal logic. The International Arab Journal of Information Technology Vol. 17, no. 6 (Nov. 2020), pp.867-874.
https://search.emarefa.net/detail/BIM-1432411
American Medical Association (AMA)
Bani Abd al-Rahman, Raid& al-Shurman, Rafat& Hussak, Walter& Trehan, Amitabh. Specification of synchronous network flooding in temporal logic. The International Arab Journal of Information Technology. 2020. Vol. 17, no. 6, pp.867-874.
https://search.emarefa.net/detail/BIM-1432411
Data Type
Journal Articles
Language
English
Notes
Includes bibliographical references : p. 873-874
Record ID
BIM-1432411