64 search results - page 2 / 13 » Partial Order Reduction for State Event LTL |
CAV
1997
Springer
13 years 9 months ago
1997
Springer
FSTTCS
1998
Springer
13 years 9 months ago
1998
Springer
Partial order methods have been introduced to avoid the state explosion problem in veri cation resulting from the representation of multiple interleavings of concurrent transitions...
ICFEM
2009
Springer
13 years 12 months ago
2009
Springer
Rapid development in hardware industry has brought the prevalence of multi-core systems with shared-memory, which enabled the speedup of various tasks by using parallel algorithms....
SPIN
2005
Springer
13 years 11 months ago
2005
Springer
We describe an improvement of the partial-order reduction algorithm for breadth-first search which was introduced in Spin version 4.0. Our improvement is based on the algorithm by...
ASE
2004
13 years 5 months ago
2004
The verification of concurrent systems through an exhaustive traversal of the state space suffers from the infamous state-space-explosion problem, caused by the many interleavings ...