A Symbolic Model Checker for Database Programs

Angshuman Jana, Md. Imran Alam, Raju Halder

Abstract

Most of the existing model checking approaches refer mainstream languages without considering any database statements. As the result, they are not directly applicable to database applications for verifying their correctness. On the other hand, few works in the literature address the verification of database applications focusing atomicity constraints, transaction properties, etc. In this paper, as an alternative, we propose the design of a symbolic model checker for database programs to verify integrity properties defined over database attributes. The proposed model checker is designed based on the following key modules: (i) Abstraction, (ii) Verification, and (iii) Refinement.

Download


Paper Citation


in Harvard Style

Jana A., Alam M. and Halder R. (2018). A Symbolic Model Checker for Database Programs.In Proceedings of the 13th International Conference on Software Technologies - Volume 1: ICSOFT, ISBN 978-989-758-320-9, pages 347-354. DOI: 10.5220/0006913003470354


in Bibtex Style

@conference{icsoft18,
author={Angshuman Jana and Md. Imran Alam and Raju Halder},
title={A Symbolic Model Checker for Database Programs},
booktitle={Proceedings of the 13th International Conference on Software Technologies - Volume 1: ICSOFT,},
year={2018},
pages={347-354},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006913003470354},
isbn={978-989-758-320-9},
}


in EndNote Style

TY - CONF

JO - Proceedings of the 13th International Conference on Software Technologies - Volume 1: ICSOFT,
TI - A Symbolic Model Checker for Database Programs
SN - 978-989-758-320-9
AU - Jana A.
AU - Alam M.
AU - Halder R.
PY - 2018
SP - 347
EP - 354
DO - 10.5220/0006913003470354