loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Jesús Martínez and Cristóbal Jiménez

Affiliation: Departamento de Lenguajes y Ciencias de la Computación University of Málaga, Spain

Abstract: Java is one of the most popular languages used to build complex and distributed systems. The existence of high-level libraries and middleware makes it now easy to develop applications for enterprise information systems. Unfortunately, implementing distributed software is always an error-prone task. Thus, middleware and application protocols must guarantee different functional and non-functional properties, which has been the field usually covered by tools based on formal methods. However, analyzing software is still a huge challenge for these tools, and only a few can deal with software complexity. One such tool is the Java Pathfinder model checker (J P F). This paper presents a new approach to the verification of Java systems which communicate through Internet Sockets. Our approach assumes that almost all the middleware and network libraries used in Java rely on the protocols available at the TCP/IP transport layer. Therefore, we have extended J P F, now allowing developers to verif y not only single multithreaded programs but also fully distributed Socket-based software. (More)

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 44.200.77.59

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:
Martínez, J. and Jiménez, C. (2008). Software Model Checking for Internet Protocols with Java PathFinder. In Proceedings of the 6th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems (ICEIS 2008) - MSVVEIS; ISBN 978-989-8111-43-2, SciTePress, pages 91-100. DOI: 10.5220/0001738600910100

@conference{msvveis08,
author={Jesús Martínez. and Cristóbal Jiménez.},
title={Software Model Checking for Internet Protocols with Java PathFinder},
booktitle={Proceedings of the 6th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems (ICEIS 2008) - MSVVEIS},
year={2008},
pages={91-100},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001738600910100},
isbn={978-989-8111-43-2},
}

TY - CONF

JO - Proceedings of the 6th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems (ICEIS 2008) - MSVVEIS
TI - Software Model Checking for Internet Protocols with Java PathFinder
SN - 978-989-8111-43-2
AU - Martínez, J.
AU - Jiménez, C.
PY - 2008
SP - 91
EP - 100
DO - 10.5220/0001738600910100
PB - SciTePress