Runtime verification of embedded real-time systems
From MaRDI portal
Publication:479806
DOI10.1007/s10703-013-0199-zzbMath1317.68122OpenAlexW2003519602WikidataQ40122239 ScholiaQ40122239MaRDI QIDQ479806
Matthias Függer, Thomas Reinbacher, Jörg Brauer
Publication date: 5 December 2014
Published in: Formal Methods in System Design (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10703-013-0199-z
Specification and verification (program logics, model checking, etc.) (68Q60) Online algorithms; streaming algorithms (68W27)
Related Items (2)
Algorithms for monitoring real-time properties ⋮ A survey of challenges for runtime verification from advanced application domains (beyond software)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- ``A la Burstall intermittent assertions induction principles for proving inevitability properties of programs
- An overview of the runtime verification tool Java PathExplorer
- Optimized temporal monitors for SystemcC
- Decision procedures. An algorithmic point of view. With foreword by Randal E. Bryant
- A formally verified compiler back-end
- Embedded System Design
- Refinement-Based CFG Reconstruction from Unstructured Programs
- Comparing LTL Semantics for Runtime Verification
- An Abstract Interpretation-Based Framework for Control Flow Reconstruction from Binaries
- Logahedra: A New Weakly Relational Domain
- Safe Runtime Verification of Real-Time Properties
- Use of Modern Processors in Safety-Critical Applications
- Formal certification of a compiler back-end or
- A Parallel Algorithm for the Efficient Solution of a General Class of Recurrence Equations
- Correct Hardware Design and Verification Methods
- Formal Modeling and Analysis of Timed Systems
This page was built for publication: Runtime verification of embedded real-time systems
