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: http://ieeexplore.ieee.org/document/5579128/?part=...
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
