Verification of Infinite-state Systems with Applications to Security
Seiten
2006
IOS Press,US (Verlag)
978-1-58603-570-9 (ISBN)
IOS Press,US (Verlag)
978-1-58603-570-9 (ISBN)
- Keine Verlagsinformationen verfügbar
- Artikel merken
Provides information for researchers interested in the development of mathematical techniques for the analysis of infinite state systems. The papers come from a successful workshop.
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. The papers come from a successful workshop. Not only were the lectures excellent, but due to the participants taking part in the discussions at the workshop, they shared different views, and they recognized the similarity of a number of different view points.
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. The papers come from a successful workshop. Not only were the lectures excellent, but due to the participants taking part in the discussions at the workshop, they shared different views, and they recognized the similarity of a number of different view points.
| Erscheint lt. Verlag | 1.1.2006 |
|---|---|
| Reihe/Serie | NATO Science for Peace and Security Series D: Information and Communication Security ; v. 1 |
| Zusatzinfo | Illustrations |
| Verlagsort | Amsterdam |
| Sprache | englisch |
| Themenwelt | Informatik ► Theorie / Studium ► Kryptologie |
| ISBN-10 | 1-58603-570-3 / 1586035703 |
| ISBN-13 | 978-1-58603-570-9 / 9781586035709 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
Geschichte, Techniken, Anwendungen
Buch | Softcover (2022)
C.H.Beck (Verlag)
CHF 13,90
Die faszinierende Geschichte der Verschlüsselung
Buch | Softcover (2022)
Springer (Verlag)
CHF 48,95
