Searching for "Partial Order Reduction in Directed Model Checking." – sorted by Relevance.
6 documents found, showing 1 through 6.
-
Partial Order Reduction in Directed Model Checking
- …Partial Order Reduction in Directed Model Checking Alberto Lluch-Lafuente, Stefan Edelkamp…
- Cited by 13 (4 self) – Add To MetaCart
-
Partial-Order Reduction and Trail Improvement in Directed Model Checking
- …10009-004-0151-z Partial-order reduction and trail improvement in directed model checking Stefan…
- Cited by 3 (2 self) – Add To MetaCart
-
Partial Order Reduction in Directed Model
- …Partial Order Reduction in Directed Model Checking Alberto Lluch-Lafuente, Stefan Edelkamp…
- Add To MetaCart
-
Partial-order reduction for general state exploring algorithms
- … SPIN for directed model checking. We evaluate the state space reduction achieved by partial-order…
- Cited by 4 (0 self) – Add To MetaCart
-
Partial-Order Reduction for General State Exploring Algorithms
- … checker SPIN for directed model checking. We evaluate the state space reduction achieved by partial-order…
- Add To MetaCart
-
Directed Search for the Verification of Communication Protocols
- … model checking techniques, like partial order reduction. Chapter 3 deals with directed search strategies…
- Cited by 1 (0 self) – Add To MetaCart
Showing 1 through 6.
