Runtime verification with minimal intrusion through parallelism
type: Item
instance of: scholarly article
title: Runtime verification with minimal intrusion through parallelism
zbMATH Open document ID: 1323.68363
author: Shay Berkovich
author: Borzoo Bonakdarpour
author: Sebastian Fischmeister
published in: Formal Methods in System Design
publication date: 2015-10-30T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68W10
zbMATH DE Number: 6502573
zbMATH Keywords: runtime monitoring
zbMATH Keywords: parallel algorithms
zbMATH Keywords: temporal logic
zbMATH Keywords: formal methods
describes a project that uses: Java-MOP
describes a project that uses: Clara
describes a project that uses: RiTHM
MaRDI profile type: Publication
full work available at URL: s10703-015-0226-3
OpenAlex ID: W1000312060
cites work: Scalable offline monitoring of temporal specifications
cites work: Time-triggered runtime verification
cites work: Tools and Algorithms for the Construction and Analysis of Systems
cites work: On Parallel Implementations of Deterministic Finite Automata
cites work: Q4817542
cites work: \textsc{InterAspect}: aspect-oriented instrumentation with GCC
DOI: 10.1007/S10703-015-0226-3
description: scientific article; zbMATH DE number 6502573