Website Search
Find information on spaces, staff, and services.
Catalog Search
Computer file; Books
Runtime Verification : 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers
- Author / Creator
- Conferences
- RV 2009 (2009 : Grenoble, France)
- RV 2009
- Available as
- Online
Details
- Creator
- edited by Saddek Bensalem, Doron A. Peled
- Format
- Computer file; Books
- Language
- English
- Contributors
- Publication
-
- 1st ed. 2009
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009
- Physical Details
-
- 1 online resource (VII, 203 p.)
- ISBNs
- 9783642046940, 9783642046933, 3642046932, 3642046940
- OCLC
- ocn495479207
- Bibliographic Level Mode of Issuance: Monograph
- Includes bibliographical references and index.
- English
- Rule Systems for Runtime Verification: A Short Tutorial -- Verification, Testing and Statistics -- Type-Separated Bytecode – Its Construction and Evaluation -- Runtime Verification of Safety-Progress Properties -- Monitor Circuits for LTL with Bounded and Unbounded Future -- State Joining and Splitting for the Symbolic Execution of Binaries -- The LIME Interface Specification Language and Runtime Monitoring Tool -- A Concurrency Testing Tool and Its Plug-Ins for Dynamic Analysis and Runtime Healing -- Bridging the Gap between Algebraic Specification and Object-Oriented Generic Programming -- Runtime Verification of C Memory Safety -- A Combined On-Line/Off-Line Framework for Black-Box Fault Diagnosis -- Hardware Supported Flexible Monitoring: Early Results -- DMaC: Distributed Monitoring and Checking