An approach to verify concurrent object-oriented programs

Zangaraki, Shahrbanoo and Rafeh, Reza (2010) An approach to verify concurrent object-oriented programs. 2010 3rd International Conference on Advanced Computer Theory and Engineering(ICACTE) , Chengdu, China, 20-22 August 2010.

Full text not available from this repository.

Official URL:

Abstract or Summary

Today, object-oriented methodologies are widely used for developing concurrent distributed systems. There are many well-known object-oriented methodologies and techniques to develop concurrent distributed systems. However, such systems are likely to have bugs. Hence, verification plays an important role in this context. In this paper we propose an approach to verify concurrent object-oriented programs using model checking. To do so, we employ the Bogor model checker. The concurrent programs are translated to BIR- the input language of Bogor- and Bogor performs the verification and shows the existing bugs, if there is any, through counter-examples

Item Type:Paper presented at a conference, workshop or other event, and published in the proceedings
Keywords that describe the item:Bogor, Verification, Concurrency, Model Checking
Subjects:Q Science > QA Mathematics > QA76 Computer software
Divisions:Schools > Centre for Business, Information Technology and Enterprise > School of Information Technology
ID Code:5133
Deposited By:
Deposited On:11 Jan 2017 01:00
Last Modified:19 Dec 2018 23:51

Repository Staff Only: item control page