Amazon cover image
Image from Amazon.com

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

By: Contributor(s): Material type: TextTextSeries: NATO security through science series. D, Information and communication security ; ; vol. 1.Publication details: Amsterdam ; Washington, D.C. : IOS Press, ©2006.Description: 1 online resource (vii, 235 pages) : illustrationsContent type:
  • text
Media type:
  • computer
Carrier type:
  • online resource
ISBN:
  • 1423797426
  • 9781423797425
  • 1601291272
  • 9781601291271
  • 9781607501473
  • 1607501473
Subject(s): Genre/Form: Additional physical formats: Print version:: Verification of infinite-state systems with applications to security.DDC classification:
  • 005.8 22
LOC classification:
  • Q295 .N38 2005eb
Online resources:
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.
Action note:
  • digitized 2010 HathiTrust Digital Library committed to preserve
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.
Holdings
Item type Current library Collection Call number Status Date due Barcode Item holds
eBook eBook e-Library EBSCO Computers Available
Total holds: 0

Proceedings of the NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security, Timaşoara, Romania, March 17-22, 2005.

Includes bibliographical references and author index.

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.

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.

Print version record.

Use copy Restrictions unspecified star MiAaHDL

Electronic reproduction. [S.l.] : HathiTrust Digital Library, 2010. MiAaHDL

Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. MiAaHDL

http://purl.oclc.org/DLF/benchrepro0212

digitized 2010 HathiTrust Digital Library committed to preserve pda MiAaHDL

Added to collection customer.56279.3

Powered by Koha