Hennessy–Milner logic

Known as: HML, Hennessy-Milner logic 
In computer science, Hennessy–Milner logic (HML) is a dynamic logic used to specify properties of a labeled transition system (LTS), a structure… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
We study μHML, a branching-time logic with least and greatest fixpoints, from a runtime verification perspective. The logic may… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
2015
2015
This article concerns the maximal synthesis for Hennessy-Milner Logic on Kripke structures with labeled transitions. We formally… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2015
2015
We study μHML (a branching-time logic with least and greatest fixpoints) from a runtime verification perspective. We establish… (More)
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
2014
2014
This paper presents a novel approach to adapt a behavioral model in order to satisfy a requirement in Hennessy-Milner Logic… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2013
2013
We present a solution for the synthesis on Kripke structures with labelled transitions, with respect to Hennessy-Milner Logic… (More)
  • figure 1
  • figure 2
  • figure 4
  • figure 3
  • figure 7
Is this relevant?
2006
2006
We propose a new class of logics for specifying and modelchecking properties of distributed systems Dynamic Epistemic Spatial… (More)
  • table 2
  • figure 1
Is this relevant?
2006
2006
This paper presents a method for the decomposition of HML formulas. It can be used to decide whether a process algebra term… (More)
  • figure 1
Is this relevant?
2003
2003
This paper presents a method for the decomposition of HML formulae. It can be used to decide whether a process algebra term… (More)
Is this relevant?
1999
1999
This study o ers a characterization of the collection of properties expressible in Hennessy-Milner Logic (HML) with recursion… (More)
Is this relevant?
Highly Cited
1990
Highly Cited
1990
An extension of Hennessy-Milner Logic with recursion is presented. A recursively specified formula will have two standard… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?