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: Model checking
Editorial Board
Technical Committee
Instruction to Authors
Article Processing Charges
Submit your Paper
Track your Paper
Instructions to Reviewers
Review Paper
Statistics
Generating Exact Approximations to Model Check Concurrent Systems
Abstract: In this paper, we present a method to generate abstractions for model checking concurrent systems. A program
#Model checking
# abstractions
# concurrent systems
Toward Proving the Correctness of TCP Protocol Using CTL
Rafat Alshorman
#CTL
# model checking
# TCP protocols
# correctness conditions
# kripke structure
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
Modelling and Verification of ARINC 653 Hierarchical Preemptive Scheduling
Ning Fu, Lijun Shan, Chenglie Du, Zhiqiang Liu, and Han Peng
#ARINC653
# schedulability analysis
# model checking
# UPPAAL
CTL Model Checking Based on Binary Classification of Machine Learning
Weijun Zhu,Huanmei Wu
#Model checking
#computational tree logic
#machine learning
#binary classification
Using Maximality-Based Labeled Transition System Model for Concurrency Logic Verification
#Concurrent system
#maximality-based semantics
#process algebra
#model checking
#CTL
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
