Towards Automated Software Verification Using Model Checking Techniques

Torkeman Rahmani, Adel and Rafeh, Reza and Rafe, Vahid and Asadollahi, Somayeh (2009) Towards Automated Software Verification Using Model Checking Techniques. Sixth International Symposium on Theoretical Aspects of Software Engineering , Tianjin, China, 29-31 July, 2009 .

Full text not available from this repository.

Abstract or Summary

Today, it's an important requirement to have software systems without any bug. Model checking has proven to be a viable solution for reasoning about behavior properties of many different software artifacts. In this paper, we present a solution to verify software models which formally specified by layered graph transformation systems using a model checker called Bogor.

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

Repository Staff Only: item control page