Formal verification of not fully symmetric systems using counter abstraction
Counter abstraction allows us to transform a concurrent system with an unbounded number of agents into a finite-state bounded abstraction, independent of the number of processes present in the implementation. In its general form it is not well suited for verification of parameterised concurrent syst...
| Main Author: | |
|---|---|
| Format: | Conference item |
| Published: |
2008
|