1 citations · 1 across the 1 of their papers we have counts for
1 paper
Tomasz Mazur, Gavin Lowe
The Parameterised Model Checking Problem asks whether an implementation Impl(t) satisfies a specification Spec(t) for all instantiations of parameter t. In general, t can determine…