loading
Papers

Research.Publish.Connect.

Paper

Paper Unlock

Authors: David Harel 1 ; Guy Katz 1 ; Assaf Marron 1 and Gera Weiss 2

Affiliations: 1 The Weizmann Institute of Science, Israel ; 2 Ben Gurion University, Israel

ISBN: 978-989-758-083-3

Keyword(s): Concurrency, Verification, Design for Verification, Behavioral Programming.

Related Ontology Subjects/Areas/Topics: Applications and Software Development ; General-Purpose Modeling Languages and Standards ; Languages, Tools and Architectures ; Methodologies, Processes and Platforms ; Model-Based Testing and Validation ; Model-Driven Software Development ; Reasoning about Models ; Software Engineering ; Systems Engineering

Abstract: In recent years formal verification techniques have become an important part of the development cycle of concurrent software. In order to tackle the state explosion problem and verify larger systems, a great deal of work has been put into improving the scalability of verification tools. In this work, we seek to draw attention to an alternative/complementary approach to improving scalability, which sometimes receives less notice: the effect the concurrent programming model itself has on one’s ability to verify programs encoded within it. Recent work suggests that a suitable choice of model, tailored to the problem at hand, may render the produced software more amenable to verification techniques. We recapitulate some recent and new results demonstrating this effect in programming models for discrete, synchronous reactive systems, and outline some directions for future work. We hope that the paper will trigger additional research on this important topic.

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

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:
Harel, D.; Katz, G.; Marron, A. and Weiss, G. (2015). The Effect of Concurrent Programming Idioms on Verification - A Position Paper.In Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, ISBN 978-989-758-083-3, pages 363-369. DOI: 10.5220/0005324203630369

@conference{modelsward15,
author={David Harel. and Guy Katz. and Assaf Marron. and Gera Weiss.},
title={The Effect of Concurrent Programming Idioms on Verification - A Position Paper},
booktitle={Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,},
year={2015},
pages={363-369},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005324203630369},
isbn={978-989-758-083-3},
}

TY - CONF

JO - Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,
TI - The Effect of Concurrent Programming Idioms on Verification - A Position Paper
SN - 978-989-758-083-3
AU - Harel, D.
AU - Katz, G.
AU - Marron, A.
AU - Weiss, G.
PY - 2015
SP - 363
EP - 369
DO - 10.5220/0005324203630369

Login or register to post comments.

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