loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

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

Affiliation: University of Málaga, Spain

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.

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 13.59.122.162

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. and Sanán, D. (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 (ICEIS 2006) - MSVVEIS; ISBN 978-972-8865-49-8, SciTePress, 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 (ICEIS 2006) - MSVVEIS},
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 (ICEIS 2006) - MSVVEIS
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
PB - SciTePress

- Science and Technology Publications, Lda.
RESOURCES

Proceedings

Papers

Authors

Ontology

CONTACTS

Science and Technology Publications, Lda
Avenida de S. Francisco Xavier, Lote 7 Cv. C,
2900-616 Setúbal, Portugal.

Phone: +351 265 520 185 (National fixed network call)
Fax: +351 265 520 186
Email: info@scitepress.org

EXTERNAL LINKS

PRIMORIS

INSTICC

SCITEVENTS

CROSSREF

PROCEEDINGS SUBMITTED FOR INDEXATION BY:

dblp

Ei Compendex

SCOPUS

Semantic Scholar

Google Scholar

Microsoft Academic