Doorgaan naar hoofdnavigatie
Doorgaan naar zoeken
Ga verder naar hoofdinhoud
Onderzoeksportaal Eindhoven University of Technology Startpagina
Help en veelgestelde vragen
English
Nederlands
Startpagina
Onderzoekers
Onderzoeksoutput
Organisatie
Activiteiten
Projecten
Prijzen
Pers/Media
Faciliteiten
Datasets
Cursussen
Onderzoeksgebieden
Afstudeerscripties
Zoeken op expertise, naam of affiliatie
GPUexplore-prob
Jan Heemstra
(Ontwerper)
Anton J. Wijs
(Supervisor)
Muhammad Osama (Leiden University)
(Bijdrager)
Software Engineering and Technology
Software Engineering and Technology
Dataset
Overzicht
Omschrijving
GPUexplore Prob model checker. See artifact/tools/benchmark/benchmark.sh --help for more information.
Datum van beschikbaarheid
24 okt. 2024
Uitgever
Zenodo
DOI
10.5281/zenodo.13987261
Toegang dataset
open
Citeer dit
DataSetCite
Heemstra, J. (Ontwerper), Wijs, A. (Supervisor), Osama, M. (Bijdrager) (
24 okt. 2024
). GPUexplore-prob. Zenodo.
10.5281/zenodo.13987261