GPUexplore 3.0: GPU Accelerated State Space Exploration for Concurrent Systems with Data.

Anton Wijs, Muhammad Osama

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

4 Citaten (Scopus)

Samenvatting

GPUexplore 3.0 is an explicit state space exploration tool that runs entirely on a graphics processing unit (GPU), and supports models of concurrent systems with data variables. We discuss its workflow and modelling language, present several design decisions regarding work distribution and retrieval, and experimentally evaluate the impact of those decisions. Our tool achieves acceleration up to 115 × and 28 × compared to single- and four-core LTSmin, respectively. It currently checks for deadlocks, with verification of temporal logic formulae planned for the near future.

Originele taal-2Engels
TitelModel Checking Software - 29th International Symposium, SPIN 2023, Proceedings
RedacteurenGeorgiana Caltais, Christian Schilling
Pagina's188-197
Aantal pagina's10
DOI's
StatusGepubliceerd - 2023

Publicatie series

NaamLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume13872 LNCS
ISSN van geprinte versie0302-9743
ISSN van elektronische versie1611-3349

Bibliografische nota

DBLP License: DBLP's bibliographic metadata records provided through http://dblp.org/ are distributed under a Creative Commons CC0 1.0 Universal Public Domain Dedication. Although the bibliographic metadata records are provided consistent with CC0 1.0 Dedication, the content described by the metadata records is not. Content may be subject to copyright, rights of privacy, rights of publicity and other restrictions.

Vingerafdruk

Duik in de onderzoeksthema's van 'GPUexplore 3.0: GPU Accelerated State Space Exploration for Concurrent Systems with Data.'. Samen vormen ze een unieke vingerafdruk.

Citeer dit