loading
Papers

Research.Publish.Connect.

Paper

Authors: Angshuman Jana ; Md. Imran Alam and Raju Halder

Affiliation: Indian Institute of Technology Patna and India

ISBN: 978-989-758-320-9

Keyword(s): Model Checking, Database Program, Boolean Program, Verification, Refinement.

Related Ontology Subjects/Areas/Topics: Formal Methods ; Simulation and Modeling ; Software Engineering ; Software Engineering Methods and Techniques

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.

PDF ImageFull Text

Download
CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 3.233.226.151

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
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/0006913003810388

@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/0006913003810388},
isbn={978-989-758-320-9},
}

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/0006913003810388

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.