174
Voted
ATVA
14 years 19 days 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....
116
click to vote
ATVA
14 years 19 days 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....
132
Voted
ATVA
14 years 19 days 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...
125
Voted
ATVA
14 years 19 days 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