Actions for Verification of infinite-state systems with applications to security

Email RIS file
Bookmark
Report an Issue

Verification of infinite-state systems with applications to security / edited by Edmund Clarke, Marius Minea and Ferucio Laurenţiu Ţiplea

Conference Author
NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security (2005 : Timișoara, Romania)
Published
Amsterdam ; Washington, D.C. : IOS Press, [2006]
Copyright Date
©2006
Physical Description
1 online resource (vii, 235 pages) : illustrations
Additional Creators
Clarke, Edmund M., Jr. (Edmund Melson), 1945-2020, Minea, Marius, and Ţiplea, Ferucio Laurenţiu
Access Online

Availability

I Want It
I Want It

Finding items...

Series
Contents
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; Cryptographic Primitives Can Be Fragile.
Summary
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.
Subject(s)
Other Subject(s)
Genre(s)
ISBN
1423797426 (electronic bk.)
9781423797425 (electronic bk.)
1601291272
9781601291271
9781607501473
1607501473
1586035703 (cloth)
9781586035709
Digital File Characteristics
data file
Note
Proceedings of the NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security, Timaşoara, Romania, March 17-22, 2005.
Bibliography Note
Includes bibliographical references and author index.
View MARC record | catkey: 43322847