Cargando…
Runtime Verification 7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers /
Runtime veri?cation is a recent direction in formal methods research, which is complementary to such well-established formal veri?cation methods as model checking. Research in runtime veri?cation deals with formal languages suitable for expressing system properties that are checkable at run time; al...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor Corporativo: | |
| Otros Autores: | , |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2007.
|
| Edición: | 1st ed. 2007. |
| Colección: | Programming and Software Engineering,
4839 |
| Temas: | |
| Acceso en línea: | Texto Completo |
Tabla de Contenidos:
- Invited Paper
- PSL for Runtime Verification: Theory and Practice
- AOP-Related Papers
- On the Semantics of Matching Trace Monitoring Patterns
- Collaborative Runtime Verification with Tracematches
- Static and Dynamic Detection of Behavioral Conflicts Between Aspects
- Escaping with Future Variables in HALO
- Runtime Verification of Interactions: From MSCs to Aspects
- Towards a Tool for Generating Aspects from MEDL and PEDL Specifications for Runtime Verification
- ARVE: Aspect-Oriented Runtime Verification Environment
- Core Runtime Verification Papers
- From Runtime Verification to Evolvable Systems
- Rule Systems for Run-Time Monitoring: From Eagle to RuleR
- The Good, the Bad, and the Ugly, But How Ugly Is Ugly?
- Translation Validation of System Abstractions
- Instrumentation of Open-Source Software for Intrusion Detection
- Statistical Runtime Checking of Probabilistic Properties
- Temporal Assertions with Parametrised Propositions
- Rollback Atomicity
- Runtime Checking for Program Verification.