Runtime Verification 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers /

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Bensalem, Saddek (Editor ), Peled, Doron A. (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009.
Edición:1st ed. 2009.
Colección:Programming and Software Engineering, 5779
Temas:
Software engineering.
Computer science.
Computers.
Compilers (Computer programs).
Electronic digital computers-Evaluation.
Software Engineering.
Theory of Computation.
Hardware Performance and Reliability.
Compilers and Interpreters.
System Performance and Evaluation.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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.

Ejemplares similares