Parameterized verification of systems with component identities, using view abstraction
The parameterized verification problem seeks to verify all members of some collection of systems. We consider the parameterized verification problem applied to systems that are composed of an arbitrary number of component processes, together with some fixed processes. The components are taken from o...
| Main Author: | |
|---|---|
| Format: | Journal article |
| Language: | English |
| Published: |
Springer Nature
2022
|