M. Fr anzle and K. L uth. Visual Temporal Logic as a Rapid Prototyping Tool. Computer Languages, 27:93--113, 2001. Home/Search Document Details and Download
Summary Related Articles |
This paper is cited in the following contexts:
Smart Play-Out of Behavioral Requirements - Harel, Kugler, Marelly, Pnueli (2002) (5 citations) (Correct)
....while iterating during (unbounded) loops prevents such problems. Another direction of research strongly related to our work is synthesis, where the goal is to automatically synthesize a correct system implementation from the requirements. Work on synthesis from MSC like languages appears in [23, 24, 2, 34, 10], and an algorithm for synthesizing statecharts from LSC s appears in [13] Moreover, a lot of work has been done on synthesis from temporal logic e.g. 9, 1, 29, 25] The main difference is that in our work the play out algorithms search one super step ahead (or several super steps when ....
M. Fr anzle and K. L uth. Visual Temporal Logic as a Rapid Prototyping Tool. Computer Languages, 27:93--113, 2001.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC