3 search results - page 1 / 1 » An Antichain Algorithm for LTL Realizability |
CAV
2009
Springer
14 years 5 months ago
2009
Springer
NFM
2011
12 years 12 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 6 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 (...