Interleaving templates and PTAs

imitator-model-checker / imitator

IMITATOR is a parametric timed model checker taking as input extensions of parametric timed automata, and synthesizing parameter valuations for safety properties and more.

https://www.imitator.fr/

GNU General Public License v3.0

26 stars 12 forks source link

Interleaving templates and PTAs #199

Closed tomaz1502 closed 2 weeks ago

tomaz1502 commented 2 weeks ago

This PR adds support for interleaving templates and PTAs in the problem definition.

Solves: #190