Compositional Synthesis of Generalized Mealy Machines

  • Authors:
  • Simone Tini;Andrea Maggiolo-Schettini

  • Affiliations:
  • Dipartimento di Scienze della Cultura, Politiche e dell'Informazione, Università dell'Insubria, Via Valleggio 11, 22100 Como, Italy;Dipartimento di Informatica, Università di Pisa, Via Buonarroti 2, 56127 Pisa, Italy

  • Venue:
  • Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2003)
  • Year:
  • 2004

Quantified Score

Hi-index 0.00

Visualization

Abstract

We give an algorithm for synthesizing Generalized Mealy Machines from LTL-formulae. The main novelty of the paper is that the algorithm is compositional. Its complexity coincides with the lower bound of the synthesis problem.