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
Indexing
Announcement
Contact Us
Home
/
Search for: kripke structure
Editorial Board
Technical Committee
Instruction to Authors
Article Processing Charges
Submit your Paper
Track your Paper
Instructions to Reviewers
Review Paper
Statistics
Toward Proving the Correctness of TCP Protocol Using CTL
Rafat Alshorman
#CTL
# model checking
# TCP protocols
# correctness conditions
# kripke structure
Partitioning State Spaces of Concurrent Transition Systems Mustapha Bourahla
efficient new methods to deal with the large real-size of concurrent transition systems. We propose a new algorithm for
#Concurrent transition systems
# distributed and parallel analysis
# abstraction
# partitioning
# refinement
All Rights reserved to IAJIT 2025
Powered by:
TurnPoint
