Runtime Verification 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009 ; Selected papers / / Saddek Bensalem, Doron A. Peled (eds.)

• Pubblicazione: Berlin ; ; New York, NY, : Springer-Verlag, c2009
• Edizione: 1st ed. 2009.
• Descrizione fisica: 1 online resource (VII, 203 p.)
• Disciplina: 005.1/17
• Soggetto topico: Computer software - Verification; Software engineering
• Classificazione: DAT 263f; DAT 325f; SS 4800
• Altri autori: BensalemSaddeck PeledDoron A
• Note generali: Bibliographic Level Mode of Issuance: Monograph
• Nota di bibliografia: Includes bibliographical references and index.
• Nota di contenuto: 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.
• Titolo autorizzato: Runtime Verification
• ISBN: 3-642-04694-0
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: 9910484723503321
• Lo trovi qui: Univ. Federico II
• Serie: Lecture notes in computer science ; ; 5289.