18 search results - page 1 / 4 » atva 2010 |
ATVA
2010
Springer
13 years 5 months ago
2010
Springer
ATVA
2010
Springer
13 years 5 months ago
2010
Springer
ATVA
2010
Springer
13 years 4 months ago
2010
Springer
ion for Concurrent Programs Ashutosh Gupta, Corneliu Popeea, and Andrey Rybalchenko Technische Universit
ATVA
2010
Springer
13 years 1 months ago
2010
Springer
The problem of synthesising a reactive system is discussed. The most standard instance of this problem ask to construct a finite input-output automaton satisfying a given regular s...
ATVA
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. It is well known that modelchecking and satisfiability of Linear Temporal Logic (LTL) are Pspace-complete. Wolper showed that with grammar operators, this result can be e...