Quantitative Analysis of Software Approximate Correctness
Author
Source
Mathematical Problems in Engineering
Issue
Vol. 2015, Issue 2015 (31 Dec. 2015), pp.1-13, 13 p.
Publisher
Hindawi Publishing Corporation
Publication Date
2015-07-16
Country of Publication
Egypt
No. of Pages
13
Main Subjects
Abstract EN
Parameterized bisimulation provides an abstract description of software correctness.
In real world situations, however, many software products are approximately correct.
To characterize the approximate correctness, we generalize the parameterized bisimulation to numerical version and probabilistic setting.
First, we propose the definition of the parameterized bisimulation index that expresses the degree to which a binary relation is parameterized bisimulation.
Then, λ-parameterized bisimulation over environment e and itssubstitutivity laws are presented.
Finally, λ-parameterized probabilistic bisimulation is established to describe complicated software products with probabilistic phenomena.
American Psychological Association (APA)
Ma, Yanfang. 2015. Quantitative Analysis of Software Approximate Correctness. Mathematical Problems in Engineering،Vol. 2015, no. 2015, pp.1-13.
https://search.emarefa.net/detail/BIM-1073112
Modern Language Association (MLA)
Ma, Yanfang. Quantitative Analysis of Software Approximate Correctness. Mathematical Problems in Engineering No. 2015 (2015), pp.1-13.
https://search.emarefa.net/detail/BIM-1073112
American Medical Association (AMA)
Ma, Yanfang. Quantitative Analysis of Software Approximate Correctness. Mathematical Problems in Engineering. 2015. Vol. 2015, no. 2015, pp.1-13.
https://search.emarefa.net/detail/BIM-1073112
Data Type
Journal Articles
Language
English
Notes
Includes bibliographical references
Record ID
BIM-1073112