3 search results - page 1 / 1 » An Antichain Algorithm for LTL Realizability |
CAV
2009
Springer
14 years 10 months ago
2009
Springer
NFM
2011
13 years 4 months ago
2011
Synthesis of finite-state machines from linear-time temporal logic (LTL) formulas is an important formal specification debugging technique for reactive systems and can quickly ge...
EON
2008
13 years 11 months ago
2008
Abstract. In this paper we show how to apply a tableau-based software composition technique to automatically generate the mediator's service logic. This uses an LTL planning (...