165
click to vote
ATVA
13 years 12 months ago
2011 Springer 
Even though the well-known nested-depth first search algorithm for LTL model checking provides good performance, it cannot benefit from the recent advent of multi-core computers....
109
click to vote
ATVA
13 years 12 months ago
2011 Springer
In [AKL10], we showed how viewing online algorithms as reactive systems enables the application of ideas from formal verification to the competitive analysis of online algorithms....
119
click to vote
ATVA
13 years 12 months ago
2011 Springer
We present the Self-Loop Aggregation Product (SLAP), a new hybrid technique that replaces the synchronized product used in the automata-theoretic approach for LTL model checking. T...
115
click to vote
ATVA
13 years 12 months ago
2011 Springer 
Abstract. In the traditional Boolean setting of formal verification, alternating automata are the key to many algorithms and tools. In this setting, the correspondence between dis...
|
Hardware