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: we present a method to generate abstractions for model checking concurrent systems. A program
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
All Rights reserved to IAJIT 2024
Powered by:
TurnPoint
