Citation: UNSPECIFIED.
Full text not available from this repository.Abstract
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 |
|---|---|
| Uncontrolled Keywords: | 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 |
| Depositing User: | Reza Rafeh |
| Date Deposited: | 11 Jan 2017 00:59 |
| Last Modified: | 21 Jul 2023 04:36 |
| URI: | http://researcharchive.wintec.ac.nz/id/eprint/5134 |
Actions (login required)
- View Item