8 search results - page 1 / 2 » Generalised Rabin(1) synthesis |
CORR
2010
Springer
13 years 11 months ago
2010
Springer
NFM
2011
13 years 5 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...
SIGSOFT
2004
ACM
14 years 11 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
14 years 5 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 11 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...