ISSN: 1683-3198
|
e-ISSN: 2309-4524
|
DOI: 10.34028/iajit
Submit your Paper
Track your Paper
The International Arab Journal of Information Technology
(IAJIT)
Home
Aims and Scopes
About IAJIT
Current Issue
Archives
Submission
Announcement
Indexing
Contact Us
Home
/
Search for: linear temporal logic
Editorial Board
Technical Committee
Instruction to Authors
Article Processing Charges
Submit your Paper
Track your Paper
Review Paper
Instructions to Reviewers
Statistics
Specification of Synchronous Network Flooding in Temporal Logic
Ra’ed Bani Abdelrahman1, Rafat Alshorman2, Walter Hussak3, and Amitabh Trehan3
#Network flooding
# linear temporal logic
# model checking
Modeling and Formal Verification of IMPP
#Formal methods
#verification of communication protocols
#instant messaging systems
#verification tools
#spin
#LTL
#PROMELA
All Rights reserved to IAJIT 2024
Powered by:
TurnPoint
