Runtime verification logics. A language design perspective
From MaRDI portal
Recommendations
- Runtime verification past experiences and future projections
- A brief account of runtime verification
- Introduction to the special issue on runtime verification
- Introduction to the special issue on runtime verification
- A survey of challenges for runtime verification from advanced application domains (beyond software)
Cited in
(20)- Runtime verification for dynamic architectures
- Runtime verification past experiences and future projections
- A brief account of runtime verification
- Verifying data- and control-oriented properties combining static and runtime verification: theory and tools
- Foundations of Boolean stream runtime verification
- Collaborative runtime verification with tracematches
- Quantified event automata: towards expressive and efficient runtime monitors
- Automated synthesis: a distributed viewpoint
- Monitoring for silent actions
- Runtime verification based on register automata
- Robin Milner 1934--2010
- Verification, Model Checking, and Abstract Interpretation
- Introduction to the special issue on runtime verification
- Introduction to the special issue on runtime verification
- A verified VCGen based on dynamic logic: an exercise in meta-verification with Why3
- Symbolic runtime verification for monitoring under uncertainties and assumptions
- Incrementally predictive runtime verification
- TeSSLa: temporal stream-based specification language
- Abstract interpretation of recursive logic definitions for efficient runtime assertion checking
- Uncertainty in runtime verification: a survey
This page was built for publication: Runtime verification logics. A language design perspective
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5217308)
