Polymorphic Systems with Arrays, 2-Counter Machines and Multiset Rewriting☆
Under a Creative Commons license
open access
Keywords
model checking
infinite-state
parameterised
array
Cited by (0)
- ☆
We acknowledge support from the EPSRC grant GR/M32900. The first author was also supported by grants from the Intel Corporation and the EPSRC (GR/S52759/01), the second author by QinetiQ Malvern, and the third author by the US ONR.
- 1
Also affiliated to the Mathematical Institute, Serbian Academy of Sciences and Arts, Belgrade.
Copyright © 2005 Elsevier B.V.