Verification of Infinite-State Systems
Abstract
In this chapter, we briefly present several methods that are used for the verification
of infinite-state systems. Furthermore, we show how the developments in counter
systems are related to other techniques (exact methods or by approximation).
Origin : Publisher files allowed on an open archive