Using Garbage Collection in Model Checking

Item Type: Proceeding
MIUR type: Proceedings > Proceedings
Title: Using Garbage Collection in Model Checking
Authors string: Iosif R.; Sisto R.
University authors:
Page Range: pp. 20-33
Referee type: Not specified type
Publisher: Springer
ISBN: 3540410309
ISSN: 0302-9743
Volume: 1885
Event Title: 7th International SPIN Workshop
Event Location: Stanford, CA (USA)
Event Dates: August 30 - September 1, 2000
Abstract: Garbage collection techniques have become common-place in actual programming environments, helping programmers to avoid memory fragmentation and invalid referencing problems. In order to efficiently model check programs that use garbage collection, similar functionalities have to be embedded in model checkers. This paper focuses on the implementation of two classic garbage collection algorithms in dSPIN, an extension of the model checker SPIN which supports dynamic memory management. Experiments carried out show that, besides making a large class of programs tractable, garbage collection can also be a mean to reduce the number of states generated by our model checking tool
Date: 2000
Status: Published
Language of publication:
Uncontrolled Keywords:
Departments (original): DAUIN - Control and Computer Engineering
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:03
    Update date (PORTO): 24 Oct 2014 09:19
    Id Number (DOI): 10.1007/10722468_2
    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 (1418131) - Postprint
    Document access: Not visible (accessible only to the record owner)
    Licence: Not public - Private access / Restricted.

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

    Actions (login required)

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