A TYPE REDUCTION THEORY FOR SYSTEMS WITH REPLICATED COMPONENTS
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 numerous entities: the number of processes used in a network, the type of data, the capacities of buffers, etc. The ma...
| Main Authors: | , |
|---|---|
| Format: | Journal article |
| Language: | English |
| Published: |
2012
|
Search Result 1
