Distributed-Memory Model Checking with SPIN

Item Type: Proceeding
MIUR type: Proceedings > Proceedings
Title: Distributed-Memory Model Checking with SPIN
Authors string: Lerda F.; Sisto R.
University authors:
Page Range: pp. 22-39
Referee type: Not specified type
Publisher: Springer
ISBN: 3540482342
ISSN: 0302-9743
Volume: 1680
Event Title: 5th and 6th International SPIN Workshops
Event Location: Trento (ITA). Toulouse (FRA)
Event Dates: July 5, 1999. September 21 and 24, 1999
Abstract: The main limiting factor of the model checker SPIN is currently the amount of available physical memory. This paper explores the possibility of exploiting a distributed-memory execution environment, such as a network of workstations interconnected by a standard LAN, to extend the size of the verification problems that can be successfully handled by SPIN. A distributed version of the algorithm used by SPIN to verify safety properties is presented, and its compatibility with the main memory and complexity reduction mechanisms of SPIN is discussed. Finally, some preliminary experimental results are presented
Date: 1999
Status: Published
Language of publication:
Uncontrolled Keywords:
Departments (original): UNSPECIFIED
Departments: DAUIN - Department of Control and Computer Engineering
Related URLs:
    Date Deposited: 05 Oct 2006 14:38
    Last modification data (IRIS): 15 Oct 2013 12:54:00
    Update date (PORTO): 24 Oct 2014 09:19
    Id Number (DOI): 10.1007/3-540-48234-2_3
    Permalink: http://porto.polito.it/id/eprint/1418124
    Link resolver URL: Linksolver link

    This field presents the citations number present on Scopus and Web of Science databases e links to the remote records. Also Google Scholar link is present.

    There may be discrepancies with respect to the data in databases for the following reasons:

    • Differences from fields (title, year,...) in UGOV and those in the databases.
    • PORTO citations are extracted monthly. The db is in real time
    • The WoS citation number reflect the collections subscribed by Politecnico (Science citation index Expanded and Conference Proceedings Citation Index)

    For informations contact scrivia/porto



    [img] PDF (1418124) - Postprint
    Document access: Not visible (accessible only to the record owner)
    Licence: Not public - Private access / Restricted.

    Download (177Kb) | Send a request to the author for a copy of the paper

    Actions (login required)

    View item (admin reserved) View item (admin reserved)