search

UPPAALModelChecker / docs.uppaal.org

This repo contains the official UPPAAL documentation published on https://docs.uppaal.org
https://docs.uppaal.org
1 stars 13 forks source link

Automation instantiation is not documented in system-definition/template-instantiation/ #14

Open yrke opened 3 years ago

yrke commented 3 years ago

Using a open parameter in a model will automatically be exspaned in system declaration see train-gate example: int N = 10 typedef int[0, N] id_t

Process A(id_t id)

system A