Sciweavers

Share
SPIN
2009
Springer
13 years 4 months ago
Automatic Discovery of Transition Symmetry in Multithreaded Programs Using Dynamic Analysis
While symmetry reduction has been established to be an important technique for reducing the search space in model checking, its application in concurrent software veriļ¬cation is ...
Yu Yang, Xiaofang Chen, Ganesh Gopalakrishnan, Cha...
books