8 search results - page 1 / 2 » Generalised Rabin(1) synthesis |
CORR
2010
Springer
13 years 5 months ago
2010
Springer
NFM
2011
13 years 9 days 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...
SIGSOFT
2004
ACM
14 years 6 months ago
2004
ACM
Constructing rigorous models for analysing the behaviour of concurrent and distributed systems is a complex task. Our aim is to facilitate model construction. Scenarios provide si...
MFCS
2009
Springer
13 years 12 months ago
2009
Springer
Abstract. The description of a single state of a modelled system is often complex in practice, but few procedures for synthesis address this problem in depth. We study systems in w...
ENTCS
2006
13 years 5 months ago
2006
In Rutten [13] the theoretical basis was given for the synthesis of binary Mealy machines from specifications in 2-adic arithmetic. This construction is based on the symbolic comp...