View abstraction for systems with component identities
The parameterised verification problem seeks to verify all members of some family of systems. We consider the following instance: each system is composed of an arbitrary number of similar component processes, together with a fixed number of server processes; processes communicate via synchronous mes...
| Main Author: | |
|---|---|
| Format: | Conference item |
| Published: |
Springer Verlag
2018
|