A framework for parameterized monitorability

DOI10.1007/978-3-319-89366-2_11zbMath1504.68136OpenAlexW2796942245WikidataQ131419156 ScholiaQ131419156MaRDI QIDQ1652982

Adrian Francalanza, Luca Aceto, Antonis Achilleos, Anna Ingólfsdóttir

Publication date: 17 July 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-89366-2_11

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (9)

Bidirectional Runtime Enforcement of First-Order Branching-Time Properties ⋮ On first-order runtime enforcement of branching-time properties ⋮ On probabilistic monitorability ⋮ Unnamed Item ⋮ Computer says no: verdict explainability for runtime monitors using a local proof system ⋮ A survey of challenges for runtime verification from advanced application domains (beyond software) ⋮ Determinizing monitors for HML with recursion ⋮ A theory of monitors ⋮ On bidirectional runtime enforcement

This page was built for publication: A framework for parameterized monitorability