Verification of Infinite-State Systems with Applications to Security

Name: Verification of Infinite-State Systems with Applications to Security
ISBN: 9781607501473

Verification of Infinite-State Systems with Applications to Security

eBook

Author(s):NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security; Edmund M. Clarke; Marius Minea; Ferucio Laurenţiu Ţiplea

Format: Original PDF

Published year: 2006

Publisher: SAGE Publications

Language: English

ISBN: 9781607501473, 9781586035709

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.