Asadollahi, Somayeh and Rafe, Vahid and Rafeh, Reza (2009) Towards Automated Software Verification and Validation. International Conference on Computer Technology and Development (ICCTD), Kota Kinabalu, Malaysia , 13-15 November 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 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 |
|---|---|
| Keywords that describe the item: | 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 |
| ID Code: | 5156 |
| Deposited By: | |
| Deposited On: | 15 Jan 2017 22:22 |
| Last Modified: | 19 Dec 2018 23:42 |
Repository Staff Only: item control page
