loading
Papers

Research.Publish.Connect.

Paper

Paper Unlock

Authors: María del Mar Gallardo ; Pedro Merino and David Sanán

Affiliation: University of Málaga, Spain

ISBN: 978-972-8865-49-8

Abstract: Verification technologies, like model checking, have obtained great success in the context of formal description techniques (FDTs), however there is still a lack of tools for applying the same approach to real programming languages. One promising approach in this second scenario is the reuse of well known and stable software architectures originally designed for FDs, like OPEN /CÆSAR. OPEN/CÆSAR is based on a core notation for Labeled Transitions Systems and contains several modules that can help users to implement tasks such as reachability analysis, bisimulation, and test generation. All these functions are accessible with a standard A P I that makes it possible the generation of specific model checkers for new languages. In this paper, we discuss how to construct a model checker for C distributed applications using OPEN/CÆSAR.

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.95.131.208

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:
del Mar Gallardo M.; Merino P.; Sanán D. and (2006). Towards Model Checking C Code with OPEN/CÆSAR.In Proceedings of the 4th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 1: MSVVEIS, (ICEIS 2006) ISBN 978-972-8865-49-8, pages 198-201. DOI: 10.5220/0002499401980201

@conference{msvveis06,
author={María {del Mar Gallardo} and Pedro Merino and David Sanán},
title={Towards Model Checking C Code with OPEN/CÆSAR},
booktitle={Proceedings of the 4th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 1: MSVVEIS, (ICEIS 2006)},
year={2006},
pages={198-201},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002499401980201},
isbn={978-972-8865-49-8},
}

TY - CONF

JO - Proceedings of the 4th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 1: MSVVEIS, (ICEIS 2006)
TI - Towards Model Checking C Code with OPEN/CÆSAR
SN - 978-972-8865-49-8
AU - del Mar Gallardo, M.
AU - Merino, P.
AU - Sanán, D.
PY - 2006
SP - 198
EP - 201
DO - 10.5220/0002499401980201

Login or register to post comments.

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