Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: On Runtime Enforcement via Suppressions   Runtime enforcement is a dynamic analysis technique that uses monitors to
enforce the behaviour specified by some correctness property on an executing
system. The enforceability of a logic captures the extent to which the
properties expressible via the logic can be enforced at runtime. We study the
enforceability of Hennessy-Milner Logic with Recursion (muHML) with respect to
suppression enforcement. We develop an operational framework for enforcement
which we then use to formalise when a monitor enforces a muHML property. We
also show that the safety syntactic fragment of the logic, sHML, is enforceable
by providing an automated synthesis function that generates correct suppression
monitors from sHML formulas.

31
The categories of this paper are: ao-sci
28
The categories of this paper are: alg-geom
20
The categories of this paper are: acc-phys
26
The categories of this paper are: bayes-an
18
The categories of this paper are: econ
2
The categories of this paper are: math
36
The categories of this paper are: cmp-lg
35
The categories of this paper are: mtrl-th
33
The categories of this paper are: plasm-ph
27
The categories of this paper are: comp-gas
22
The categories of this paper are: chao-dyn
11
The categories of this paper are: hep-lat
25
The categories of this paper are: patt-sol
13
The categories of this paper are: quant-ph
0
The categories of this paper are: hep-ph
16
The categories of this paper are: stat