Relative Content

Tag Archive for theorem-provingmodel-checkinguppaal

Model-checking: Check that some place is always possible?

I am new to model checking, I am using UPPAAL and I can’t find how to query what I want to query: