The Leading eBooks Store Online 4,272,009 members ⚫ 1,419,367 ebooks

New to eBooks.com?

Learn more

Verification of Infinite-State Systems with Applications to Security

by E. Clarke(ed.) ; M. Minea(ed.) ; F.L. Tiplea(ed.)
Verification of Infinite-State Systems with Applications to Security by E. Clarke
Buy this eBook
US$ 168.00
(If any tax is payable it will be calculated and shown at checkout.)
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.
IOS Press; January 2006
244 pages; ISBN 9781607501473
Read online, or download in secure PDF format
Title: Verification of Infinite-State Systems with Applications to Security
Author: E. Clarke; M. Minea; F.L. Tiplea