Runtime enforcement monitors: Composition, synthesis, and enforcement abilities
type: Item
instance of: scholarly article
title: Runtime enforcement monitors: Composition, synthesis, and enforcement abilities
zbMATH Open document ID: 1219.68089
author: Yliès Falcone
author: Laurent Mounier
author: Jean-Claude Fernandez
author: Jean-Luc Richier
published in: Formal Methods in System Design
publication date: 2011-06-30T00:00:00Z
Mathematics Subject Classification ID: 68N30
Mathematics Subject Classification ID: 68Q45
zbMATH DE Number: 5915220
zbMATH Keywords: runtime enforcement
zbMATH Keywords: monitor
zbMATH Keywords: safety-progress classification
zbMATH Keywords: monitor synthesis
zbMATH Keywords: composition
describes a project that uses: Valgrind
describes a project that uses: BCEL
MaRDI profile type: Publication
full work available at URL: s10703-011-0114-4
OpenAlex ID: W2028720147
cites work: A brief account of runtime verification
cites work: Proving the Correctness of Multiprocess Programs
cites work: Defining liveness
DOI: 10.1007/S10703-011-0114-4
description: scientific article; zbMATH DE number 5915220