A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit <a rel="external noopener" href="https://hal.archives-ouvertes.fr/hal-01213420/document">the original URL</a>. The file type is <code>application/pdf</code>.
Compositional Verification of Parameterised Timed Systems
[chapter]
<span title="">2015</span>
<i title="Springer International Publishing">
<a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a>
</i>
Preserved Fulltext
In this paper we address the problem of uniform verification of parameterised timed systems (PTS): "does a given safety state property hold for a system containing n identical timed components regardless of the value of n?". Our approach is compositional and consequently it suits quite well such systems in that it presents the advantage of reusing existing local characterisations at the global level of system characterisation. Additionally, we show how a direct consequence of the modelling
<span class="external-identifiers">
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-17524-9_6">doi:10.1007/978-3-319-17524-9_6</a>
<a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ku2al67dtneb7jcxclguk3fofq">fatcat:ku2al67dtneb7jcxclguk3fofq</a>
</span>
more »
... es adopted in our framework leads to an elegant application of the presented method to topologies such as stars and rings.
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190503145000/https://hal.archives-ouvertes.fr/hal-01213420/document" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext">
<button class="ui simple right pointing dropdown compact black labeled icon button serp-button">
<i class="icon ia-icon"></i>
Web Archive
[PDF]
<div class="menu fulltext-thumbnail">
<img src="https://blobs.fatcat.wiki/thumbnail/pdf/53/59/535961bc223cb9cda1c44173718a7154b691d666.180px.jpg" alt="fulltext thumbnail" loading="lazy">
</div>
</button>
</a>
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-17524-9_6">
<button class="ui left aligned compact blue labeled icon button serp-button">
<i class="external alternate icon"></i>
springer.com
</button>
</a>