A Symbolic Partial Order Reduction Algorithm for Rule Based Transition Systems (2003)
by
Ganesh Gopalakrishnan
,
Ritwik Bhattacharya
,
Ritwik Bhattacharya
,
Steven German
,
Steven German
| Citations: | 1 - 1 self |
BibTeX
@MISC{Gopalakrishnan03asymbolic,
author = {Ganesh Gopalakrishnan and Ritwik Bhattacharya and Ritwik Bhattacharya and Steven German and Steven German},
title = {A Symbolic Partial Order Reduction Algorithm for Rule Based Transition Systems},
year = {2003}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Partial order reductions are a class of methods that attempt to reduce the state space that must be explored to verify systems by explicit state enumeration. Partial order reduction algorithms have been successfully incorporated into tools such as Spin and VFSM-valid.
