A SPECIFICATION-BASED APPROACH TO GENERATE VERIFICATION RULES OF REACTIVE SOFTWARE

Q: How can I download an article?

To download an article from SID, first log in to the site, search for the article title, and click on the 'Download Article' option.

Q: How can I download an ISI article?

To download an ISI article on SID, enter the keyword or article title in the search bar, view the relevant results, click on the desired article, and select the 'Download Article' option.

Q: How can I access the SID database?

To access the SID database, visit SID.ir, create an account, and log in to access scientific resources.

Q: Is downloading articles from SID free?

Some articles on SID are available for free, while others require payment. Details are specified on the article's page.

BABA MIR S.M.; JALILI S.

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

Journal Paper

Paper Information

Journal: The Modares Journal of Electrical Engineering Year:2010 | Volume:10 | Issue:1 Page(s): 13-38

Download Full-Text

Persian Verion

View:

1,313

Download:

Cites:

Information Journal Paper

Title

A SPECIFICATION-BASED APPROACH TO GENERATE VERIFICATION RULES OF REACTIVE SOFTWARE

Author(s)

BABA MIR S.M. | JALILI S. | Issue Writer Certificate

Keywords

RUN-TIME VERIFICATIONQ3

VERIFICATION RULES GENERATIONQ3

REACTIVE SOFTWAREQ3

Abstract

Static verification and software testing are not able to verify software single-handedly. Therefore, another approach called RUN-TIME VERIFICATION dealing with verifying software behavior against constraints at run-time received attention. However, the RUN-TIME VERIFICATION faces the problem of verification of run-time activities against the constraints are specified in high-level and abstractly because their natures are different from each other. Focused on REACTIVE SOFTWARE, in three steps this paper presents an approach called SRG to generate RUN-TIME VERIFICATION rules in terms of run-time activities from abstract specification and constraints of problem. The approach: (1) presents a visual and reactive model of problem specification and then generates ground rules of run-time behavior of software in real-time logic, (2) specifies in real-time logic the constraints should be met by software at run-time, and (3) generates verification rules from the constraints and the ground rules. Last of all, the SRG approach is applied to message communication protocol.

Cites

No record.

References

No record.

Cite

APA: Copy

BABA MIR, S.M., & JALILI, S.. (2010). A SPECIFICATION-BASED APPROACH TO GENERATE VERIFICATION RULES OF REACTIVE SOFTWARE. MODARES JOURNAL OF ELECTRICAL ENGINEERING, 10(1), 13-38. SID. https://sid.ir/paper/177643/en

Vancouver: Copy

BABA MIR S.M., JALILI S.. A SPECIFICATION-BASED APPROACH TO GENERATE VERIFICATION RULES OF REACTIVE SOFTWARE. MODARES JOURNAL OF ELECTRICAL ENGINEERING[Internet]. 2010;10(1):13-38. Available from: https://sid.ir/paper/177643/en

IEEE: Copy

S.M. BABA MIR, and S. JALILI, “A SPECIFICATION-BASED APPROACH TO GENERATE VERIFICATION RULES OF REACTIVE SOFTWARE,” MODARES JOURNAL OF ELECTRICAL ENGINEERING, vol. 10, no. 1, pp. 13–38, 2010, [Online]. Available: https://sid.ir/paper/177643/en

Related Journal Papers