Verification of Infinite-State Systems with Applications to Security

Share
Editors
Clarke, E., Minea, M., Ţiplea, F.L.
Pub. date
January 2006
Pages
244
Binding
hardcover
Volume
1 of NATO Security through Science Series - D: Information and Communication Security
ISBN print
978-1-58603-570-9
ISBN online
978-1-60750-147-3
Subject
Computer & Communication Sciences
€116 / US$168 Excl. VAT
Order Verification of Infinite-State Systems with Applications to Security ISBN @ €116.00
Order Ebook

The recent years have brought a number of advances in the development of infinite state
verification, using techniques such as symbolic or parameterized representations,
symmetry reductions, abstractions, constraint-based approaches, combinations of
model checking and theorem proving. The active state of research on this topic provides
a good time-point to increase impact by bringing together leading scientists and
practitioners from these individual approaches. This volume gives an overview of the current research directions and provides information for researchers interested in the development of mathematical techniques for the analysis of infinite state systems.