Cover Image

Verification of infinite-state systems with applications to security /

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.

Saved in:
Bibliographic Details
Corporate Author: NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security Timișoara, Romania
Other Authors: Clarke, Edmund M., Jr. (Edmund Melson), 1945-2020, Minea, Marius, Ţiplea, Ferucio Laurenţiu
Format: Electronic Conference Proceeding eBook
Language:English
Published: Amsterdam ; Washington, D.C. : IOS Press, ©2006.
Subjects:
System theory > Mathematical models > Congresses.
System theory > Security measures > Congresses.
Computer security > Congresses.
Computer software > Verification > Congresses.
Online Access: Full text (MFA users only)
ISBN:1423797426
9781423797425
1601291272
9781601291271
9781607501473
1607501473
Local Note:ProQuest Ebook Central
Table of 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.

Similar Items