Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372

Notice: Unexpected clearActionName after getActionName already called in /var/www/html/w/includes/Context/RequestContext.php on line 321
Experimental data for Distributed parametric model checking timed automata under non-Zenoness assumption - MaRDI portal

Deprecated: Use of MediaWiki\Skin\SkinTemplate::injectLegacyMenusIntoPersonalTools was deprecated in Please make sure Skin option menus contains `user-menu` (and possibly `notifications`, `user-interface-preferences`, `user-page`) 1.46. [Called from MediaWiki\Skin\SkinTemplate::getPortletsTemplateData in /var/www/html/w/includes/Skin/SkinTemplate.php at line 691] in /var/www/html/w/includes/Debug/MWDebug.php on line 372

Deprecated: Use of QuickTemplate::(get/html/text/haveData) with parameter `personal_urls` was deprecated in MediaWiki Use content_navigation instead. [Called from MediaWiki\Skin\QuickTemplate::get in /var/www/html/w/includes/Skin/QuickTemplate.php at line 131] in /var/www/html/w/includes/Debug/MWDebug.php on line 372

Experimental data for Distributed parametric model checking timed automata under non-Zenoness assumption

From MaRDI portal
(Redirected from Dataset:6705356)



DOI10.5281/zenodo.7096134Zenodo7096134MaRDI QIDQ6705356

Dataset published at Zenodo repository.

Author name not available (Why is that?)

Publication date: 23 September 2022

Copyright license: No records found.



Description

This is the experimental data mentioned in the paper Distributed parametric model checking timed automata under non-Zenoness assumption, published in FMSD (Formal Methods in System Design), 2022. Experiments were conducted using the distributed version of IMITATOR 2.9.2 (Butter Incaberry) on two Intel Xeon Silver 4114 at 2.2GHz (20 cores in total), and 96GiB of memory, running under Ubuntu 16.04 LTS 64-bit.






This page was built for dataset: Experimental data for Distributed parametric model checking timed automata under non-Zenoness assumption

Retrieved from "https://mardi.schubotz.org/w/index.php?title=Experimental_data_for_Distributed_parametric_model_checking_timed_automata_under_non-Zenoness_assumption&oldid=44848672"
Powered by MediaWiki