2878 search results - page 260 / 576 » Model Checking FTA |
142
click to vote
CONCUR
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. We propose a model of distributed timed systems where each component is a timed automaton with a set of local clocks that evolve at a rate independent of the clocks of th...
166
Voted
ICDE
2011
IEEE
14 years 8 months ago
2011
IEEE
—Complex SQL queries are widely used today, but it is rather difficult to check if a complex query has been written correctly. Formal verification based on comparing a specifi...
144
click to vote
RV
2010
Springer
15 years 2 months ago
2010
Springer
One of the major productivity hurdles for parallel programming is non-determinism -- a parallel program may yield different results on different executions with the same input, dep...
139
click to vote
CDC
2009
IEEE
15 years 2 months ago
2009
IEEE
We consider the problem of controlling a continuous-time linear stochastic system from a specification given as a Linear Temporal Logic (LTL) formula over a set of linear predicate...
189
click to vote
ICDT
2009
ACM
15 years 2 months ago
2009
ACM
We describe a novel approach to verification of software systems centered around an underlying database. Instead of applying general-purpose techniques with only partial guarantee...