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
|