English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Tools annual

Global: Zendy Free Plan

Global: Zendy Tools monthly

Global: Zendy Plus monthly

We present here Imitator II, a new version of Imitator, a tool implementingthe "inverse method" for parametric timed automata: given a reference valuationof the parameters, it synthesizes a constraint such that, for any valuationsatisfying this constraint, the system behaves the same as under the referencevaluation in terms of traces, i.e., alternating sequences of locations andactions. Imitator II also implements the "behavioral cartography algorithm",allowing us to solve the following good parameters problem: find a set ofvaluations within a given bounded parametric domain for which the systembehaves well. We present new features and optimizations of the tool, and giveresults of applications to various examples of asynchronous circuits andcommunication protocols.

IMITATOR II: A Tool for Solving the Good Parameters Problem in Timed Automata