Events and Constraints: A Graphical Editor for Capturing Logic Requirements of Programs

  title={Events and Constraints: A Graphical Editor for Capturing Logic Requirements of Programs},
  author={Margaret H. Smith and Gerard J. Holzmann and Kousha Etessami},
A logic model checker can be an effective tool for debugging software applications. A stumbling block can be that model checking tools expect the user to supply a formal statement of the correctness requirements to be checked in temporal logic. Expressing non-trivial requirements in logic, however, can be challenging. To address this problem, we developed a graphical tool, the TimeLine Editor, that simplifies the formalization of certain kinds of requirements. A series of events and required… CONTINUE READING
Highly Cited
This paper has 135 citations. REVIEW CITATIONS
39 Citations
11 References
Similar Papers


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

135 Citations

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

See our FAQ for additional information.


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

Pnueli , The temporal logic of programs

  • A.
  • 1998

Specification of System-Level Hardware Designs Using Timing Diagrams

  • R. Schlor, W. Damm
  • In Proc. European Design Automation and European…
  • 1993
2 Excerpts

Similar Papers

Loading similar papers…