|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910784143903321 |
|
|
Titolo |
Verification of infinite-state systems with applications to security [[electronic resource] /] / edited by Edmund Clarke, Marius Minea and Ferucio Laurenţiu Ţiplea |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Amsterdam ; ; Washington, D.C., : IOS Press, c2006 |
|
|
|
|
|
|
|
ISBN |
|
6610505101 |
1-280-50510-9 |
9786610505104 |
1-4237-9742-6 |
1-60750-147-3 |
600-00-0603-9 |
1-60129-127-2 |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (244 p.) |
|
|
|
|
|
|
Collana |
|
NATO security through science series. D, Information and communication security ; ; vol. 1 |
|
|
|
|
|
|
|
|
Altri autori (Persone) |
|
ClarkeEdmund M., Jr. <1945-2020.> (Edmund Melson) |
MineaMarius |
ŢipleaFerucio Laurenţiu |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
System theory - Mathematical models |
System theory - Security measures |
Computer security |
Computer software - Verification |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Proceedings of the NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security, Timaşoara, Romania, March 17-22, 2005. |
|
|
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and author index. |
|
|
|
|
|
|
Nota di contenuto |
|
Title page; Preface; Committees; Contents; Number-Set Representations for Infinite-State Verification; Regular Model Checking for Programs with Dynamic Memory; Automatic Verification of Security Properties Based on Abstractions; Grand Challenge: Model Check Software; A Class of Automata for Computing Reachability Relations in Timed Systems; Practical Infinite-State Verification with Temporal Reasoning; Quantum States and Quantum Measurements; Automatic Test Generation and Monitoring of Infinite States Systems; |
|
|
|
|