Coalgebraic logic and synthesis of mealy machines

  • Authors:
  • M. M. Bonsangue;Jan Rutten;Alexandra Silva

  • Affiliations:
  • LIACS, Leiden University and Centrum voor Wiskunde en Informatica;Centrum voor Wiskunde en Informatica and Vrije Universiteit Amsterdam;Centrum voor Wiskunde en Informatica

  • Venue:
  • FOSSACS'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Foundations of software science and computational structures
  • Year:
  • 2008

Quantified Score

Hi-index 0.00

Visualization

Abstract

We present a novel coalgebraic logic for deterministic Mealy machines that is sound, complete and expressive w.r.t. bisimulation. Every finite Mealy machine corresponds to a finite formula in the language. For the converse, we give a compositional synthesis algorithm which transforms every formula into a finite Mealy machine whose behaviour is exactly the set of causal functions satisfying the formula.