A Formal Monitoring-Based Framework for Software Development and Analysis

  title={A Formal Monitoring-Based Framework for Software Development and Analysis},
  author={Feng Chen and Marcelo d'Amorim and Grigore Rosu},
A formal framework for software development and analysis is presented, which aims at reducing the gap between formal specification and implementation by integrating the two and allowing them together to form a system. It is called monitoring-oriented programming (MOP), since runtime monitoring is supported and encouraged as a fundamental principle. Monitors are automatically synthesized from formal specifications and integrated at appropriate places in the program, according to user… CONTINUE READING
Highly Cited
This paper has 70 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 45 extracted citations

70 Citations

Citations per Year
Semantic Scholar estimates that this publication has 70 citations based on the available data.

See our FAQ for additional information.


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

Roşu. Monitoring-Oriented Programming

  • F. Chen, M. D’Amorim
  • Technical Report UIUCDCS-R-2004-2420, Univ. of…
  • 2004
Highly Influential
4 Excerpts

Roşu. Runtime verification

  • G. K. Havelund
  • Formal Methods in System Design,
  • 2004
1 Excerpt

Similar Papers

Loading similar papers…