<script type="text/javascript">
<!--
document.write('<div id="oa_widget"></div>');
document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=undefined&type=result"></script>');
-->
</script>

COPY SCRIPT

For further information contact us at helpdesk@openaire.eu

Experiments regarding the inverse method extended with the integer hull ("RITPS")

Name: Experiments regarding the inverse method extended with the integer hull ("RITPS")
Creator: André, Étienne
Keywords: formal methods, parametric timed automata, model checking

Research datakeyboard_double_arrow_right Dataset 18 Sep 2024 English Publisher:Zenodo

Authors: André, Étienne;

doi: 10.5281/zenodo.13779414 , 10.5281/zenodo.13779413

Experiments regarding the inverse method extended with the integer hull ("RITPS")

- Summary
- Subjects
- Metrics

Abstract

This archive contains the benchmarks regarding the evaluation of the inverse method extended with integer hull ("RITPS"): the version of IMITATOR: v3.4.0-alpha2 (Cheese Durian) the source models the script to run all versions of CSMA/CD the expected results (in subdirectory "res")

Related Organizations

Paris 13 University
France
Institut Universitaire de France
France

Keywords

formal methods, parametric timed automata, model checking

Impact byBIP!

	citations This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	0
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Average
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Average
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Average

Found an issue? Give us feedback

Average