![](/images/graphics-bg.png)
Generating exact approximations to model check concurrent systems
Author
Source
The International Arab Journal of Information Technology
Issue
Vol. 5, Issue 4 (31 Oct. 2008), pp.393-401, 9 p.
Publisher
Publication Date
2008-10-31
Country of Publication
Jordan
No. of Pages
9
Main Subjects
Information Technology and Computer Science
Abstract EN
In this paper, we present a method to generate abstractions for model checking concurrent systems.
A program using a defined syntax and semantics, first describes the concurrent system that can be infinite.
This program is abstracted using the framework of abstract interpretation where an abstract function will be given.
This abstract program is demonstrated to be an accurate approximation of the original program that may contain spurious behaviours.
These spurious behaviours will be identified and removed using a new defined abstraction framework based on the restrictions.
The new produced abstract program is an exact approximation of the original program.
American Psychological Association (APA)
Bourahla, Mustafa. 2008. Generating exact approximations to model check concurrent systems. The International Arab Journal of Information Technology،Vol. 5, no. 4, pp.393-401.
https://search.emarefa.net/detail/BIM-11537
Modern Language Association (MLA)
Bourahla, Mustafa. Generating exact approximations to model check concurrent systems. The International Arab Journal of Information Technology Vol. 5, no. 4 (Oct. 2008), pp.393-401.
https://search.emarefa.net/detail/BIM-11537
American Medical Association (AMA)
Bourahla, Mustafa. Generating exact approximations to model check concurrent systems. The International Arab Journal of Information Technology. 2008. Vol. 5, no. 4, pp.393-401.
https://search.emarefa.net/detail/BIM-11537
Data Type
Journal Articles
Language
English
Notes
Includes bibliographical references : p. 400-401
Record ID
BIM-11537