Counterexample Guided Synthesis of Monitors for Realizability Enforcement

@inproceedings{Gdemann2012CounterexampleGS,
  title={Counterexample Guided Synthesis of Monitors for Realizability Enforcement},
  author={Matthias G{\"u}demann and Gwen Sala{\"u}n and Meriem Ouederni},
  booktitle={ATVA},
  year={2012}
}
Many of today’s software systems are built using distributed services, which evolve in different organizations. In order to facilitate their integration, it is necessary to provide a contract that the services participating in a composition should adhere to. A contract specifies interactions among a set of services from a global point of view. One important problem in a top-down development process is figuring out whether such a contract can be implemented by a set of services, obtained by… CONTINUE READING
Highly Cited
This paper has 42 citations. REVIEW CITATIONS

References

Publications referenced by this paper.
Showing 1-10 of 21 references

Reference Manual of the LOTOS NT to LOTOS Translator (Version 5.4)

  • D. Champelovier, X. Clerc, +5 authors G. Smeding
  • 2011
Highly Influential
7 Excerpts

Similar Papers

Loading similar papers…