Verification of Infinite-state Systems with Applications to Security: Information And Communication Security (NATO Security Through Science, Band 1) - Hardcover

Hardcover

ISBN 10: 1586035703 ISBN 13: 9781586035709

Verlag: IOS Press, 2006

Inhaltsangabe

"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."

Details zur Ausgabe

• Verlag: IOS Press
• Erscheinungsdatum: 2006
• Sprache: Englisch
• ISBN 10: 1586035703
• ISBN 13: 9781586035709
• Einband: Gebundene Ausgabe
• Anzahl der Seiten: 244
• Herausgeber: Clarke E., Minea M., Tiplea F. L.
• Kontakt zum Hersteller: Nicht verfügbar
• Verantwortliche Person: Nicht verfügbar