# Hennessy–Milner logic

## Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2017

2017

- Formal Methods in System Design
- 2017

We study μHML, a branching-time logic with least and greatest fixpoints, from a runtime verification perspective. The logic may… (More)

Is this relevant?

2015

2015

- ACM Trans. Embedded Comput. Syst.
- 2015

This article concerns the maximal synthesis for Hennessy-Milner Logic on Kripke structures with labeled transitions. We formally… (More)

Is this relevant?

2015

2015

- RV
- 2015

We study μHML (a branching-time logic with least and greatest fixpoints) from a runtime verification perspective. We establish… (More)

Is this relevant?

2014

2014

- WODES
- 2014

This paper presents a novel approach to adapt a behavioral model in order to satisfy a requirement in Hennessy-Milner Logic… (More)

Is this relevant?

2013

2013

- 13th International Conference on Application of…
- 2013

We present a solution for the synthesis on Kripke structures with labelled transitions, with respect to Hennessy-Milner Logic… (More)

Is this relevant?

2006

2006

- FORTE
- 2006

We propose a new class of logics for specifying and modelchecking properties of distributed systems Dynamic Epistemic Spatial… (More)

Is this relevant?

2006

2006

- Theor. Comput. Sci.
- 2006

This paper presents a method for the decomposition of HML formulas. It can be used to decide whether a process algebra term… (More)

Is this relevant?

2003

2003

- FCT
- 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

- FoSSaCS
- 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

- Theor. Comput. Sci.
- 1990

An extension of Hennessy-Milner Logic with recursion is presented. A recursively specified formula will have two standard… (More)

Is this relevant?