Search for collections on Wintec Research Archive

Towards Automated Software Verification and Validation


Full text not available from this repository.


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 an efficient solution to verify software models which formally specified by layered graph transformation systems - special types of 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
Uncontrolled Keywords: AGG, Model Checking, Layered Graph Transformation Systems, LTL, Bogor
Subjects: Q Science > QA Mathematics > QA76 Computer software
Divisions: Schools > Centre for Business, Information Technology and Enterprise > School of Information Technology
Depositing User: Reza Rafeh
Date Deposited: 15 Jan 2017 22:22
Last Modified: 21 Jul 2023 04:36

Actions (login required)

View Item
View Item